@@ -132,7 +132,7 @@ ptirq_build_physical_rte(struct acrn_vm *vm, struct ptirq_remapping_info *entry)
132
132
union ioapic_rte virt_rte ;
133
133
bool phys ;
134
134
135
- vioapic_get_rte (vm , virt_sid -> intx_id .pin , & virt_rte );
135
+ vioapic_get_rte (vm , ( uint32_t ) virt_sid -> intx_id .pin , & virt_rte );
136
136
rte = virt_rte ;
137
137
138
138
/* init polarity & pin state */
@@ -185,7 +185,7 @@ ptirq_build_physical_rte(struct acrn_vm *vm, struct ptirq_remapping_info *entry)
185
185
/* just update trigger mode */
186
186
ioapic_get_rte (phys_irq , & phys_rte );
187
187
rte .full = phys_rte .full & (~IOAPIC_RTE_TRGRMOD );
188
- vpic_get_irq_trigger (vm , virt_sid -> intx_id .pin , & trigger );
188
+ vpic_get_irq_trigger (vm , ( uint32_t ) virt_sid -> intx_id .pin , & trigger );
189
189
if (trigger == LEVEL_TRIGGER ) {
190
190
rte .full |= IOAPIC_RTE_TRGRLVL ;
191
191
}
@@ -396,26 +396,22 @@ static void ptirq_handle_intx(struct acrn_vm *vm,
396
396
bool trigger_lvl = false;
397
397
398
398
/* VPIN_IOAPIC src means we have vioapic enabled */
399
- vioapic_get_rte (vm , virt_sid -> intx_id .pin , & rte );
399
+ vioapic_get_rte (vm , ( uint32_t ) virt_sid -> intx_id .pin , & rte );
400
400
if ((rte .full & IOAPIC_RTE_TRGRMOD ) == IOAPIC_RTE_TRGRLVL ) {
401
401
trigger_lvl = true;
402
402
}
403
403
404
404
if (trigger_lvl ) {
405
405
if (entry -> polarity != 0U ) {
406
- vioapic_set_irq (vm , virt_sid -> intx_id .pin ,
407
- GSI_SET_LOW );
406
+ vioapic_set_irq (vm , (uint32_t )virt_sid -> intx_id .pin , GSI_SET_LOW );
408
407
} else {
409
- vioapic_set_irq (vm , virt_sid -> intx_id .pin ,
410
- GSI_SET_HIGH );
408
+ vioapic_set_irq (vm , (uint32_t )virt_sid -> intx_id .pin , GSI_SET_HIGH );
411
409
}
412
410
} else {
413
411
if (entry -> polarity != 0U ) {
414
- vioapic_set_irq (vm , virt_sid -> intx_id .pin ,
415
- GSI_FALLING_PULSE );
412
+ vioapic_set_irq (vm , (uint32_t )virt_sid -> intx_id .pin , GSI_FALLING_PULSE );
416
413
} else {
417
- vioapic_set_irq (vm , virt_sid -> intx_id .pin ,
418
- GSI_RAISING_PULSE );
414
+ vioapic_set_irq (vm , (uint32_t )virt_sid -> intx_id .pin , GSI_RAISING_PULSE );
419
415
}
420
416
}
421
417
@@ -431,12 +427,11 @@ static void ptirq_handle_intx(struct acrn_vm *vm,
431
427
enum vpic_trigger trigger ;
432
428
433
429
/* VPIN_PIC src means we have vpic enabled */
434
- vpic_get_irq_trigger (vm , virt_sid -> intx_id .pin , & trigger );
430
+ vpic_get_irq_trigger (vm , ( uint32_t ) virt_sid -> intx_id .pin , & trigger );
435
431
if (trigger == LEVEL_TRIGGER ) {
436
- vpic_set_irq (vm , virt_sid -> intx_id .pin , GSI_SET_HIGH );
432
+ vpic_set_irq (vm , ( uint32_t ) virt_sid -> intx_id .pin , GSI_SET_HIGH );
437
433
} else {
438
- vpic_set_irq (vm , virt_sid -> intx_id .pin ,
439
- GSI_RAISING_PULSE );
434
+ vpic_set_irq (vm , (uint32_t )virt_sid -> intx_id .pin , GSI_RAISING_PULSE );
440
435
}
441
436
break ;
442
437
}
0 commit comments