Searched refs:old_pendbaser (Results 1 – 1 of 1) sorted by relevance
515 u64 old_pendbaser, pendbaser; in vgic_mmio_write_pendbase() local522 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser); in vgic_mmio_write_pendbase()523 pendbaser = old_pendbaser; in vgic_mmio_write_pendbase()526 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser, in vgic_mmio_write_pendbase()527 pendbaser) != old_pendbaser); in vgic_mmio_write_pendbase()
Completed in 7 milliseconds