Searched refs:pendbaser (Results 1 – 4 of 4) sorted by relevance
423 return extract_bytes(vgic_cpu->pendbaser, addr & 7, len); in vgic_mmio_read_pendbase()431 u64 old_pendbaser, pendbaser; in vgic_mmio_write_pendbase() local438 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser); in vgic_mmio_write_pendbase()439 pendbaser = old_pendbaser; in vgic_mmio_write_pendbase()440 pendbaser = update_64bit_reg(pendbaser, addr & 4, len, val); in vgic_mmio_write_pendbase()441 pendbaser = vgic_sanitise_pendbaser(pendbaser); in vgic_mmio_write_pendbase()442 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser, in vgic_mmio_write_pendbase()443 pendbaser) != old_pendbaser); in vgic_mmio_write_pendbase()
301 vcpu->arch.vgic_cpu.pendbaser = INITIAL_PENDBASER_VALUE; in vgic_v3_enable()338 pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in vgic_v3_lpi_sync_pending_status()390 pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in vgic_v3_save_pending_tables()
430 gpa_t pendbase = GICR_PENDBASER_ADDRESS(vcpu->arch.vgic_cpu.pendbaser); in its_sync_lpi_pending_table()1648 if (!(vcpu->arch.vgic_cpu.pendbaser & GICR_PENDBASER_PTZ)) in vgic_enable_lpis()
329 u64 pendbaser; member
