Searched refs:pendbase (Results 1 – 2 of 2) sorted by relevance
321 gpa_t pendbase, ptr; in vgic_v3_lpi_sync_pending_status() local332 pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in vgic_v3_lpi_sync_pending_status()336 ptr = pendbase + byte_offset; in vgic_v3_lpi_sync_pending_status()415 gpa_t pendbase, ptr; in vgic_v3_save_pending_tables() local423 pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in vgic_v3_save_pending_tables()427 ptr = pendbase + byte_offset; in vgic_v3_save_pending_tables()
394 gpa_t pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in its_sync_lpi_pending_table() local414 pendbase + byte_offset, in its_sync_lpi_pending_table()
Completed in 10 milliseconds