Searched refs:GICR_PENDBASER_ADDRESS (Results 1 – 3 of 3) sorted by relevance
341 pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in vgic_v3_lpi_sync_pending_status()393 pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in vgic_v3_save_pending_tables()
437 gpa_t pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in its_sync_lpi_pending_table()
176 #define GICR_PENDBASER_ADDRESS(x) ((x) & GENMASK_ULL(51, 16)) macro