Searched refs:pendbaser (Results 1 – 1 of 1) sorted by relevance
511 u64 value = vgic_cpu->pendbaser; in vgic_mmio_read_pendbase()523 u64 old_pendbaser, pendbaser; in vgic_mmio_write_pendbase() local530 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser); in vgic_mmio_write_pendbase()531 pendbaser = old_pendbaser; in vgic_mmio_write_pendbase()532 pendbaser = update_64bit_reg(pendbaser, addr & 4, len, val); in vgic_mmio_write_pendbase()533 pendbaser = vgic_sanitise_pendbaser(pendbaser); in vgic_mmio_write_pendbase()534 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser, in vgic_mmio_write_pendbase()535 pendbaser) != old_pendbaser); in vgic_mmio_write_pendbase()