Lines Matching refs:pendbaser
501 u64 value = vgic_cpu->pendbaser;
513 u64 old_pendbaser, pendbaser;
520 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser);
521 pendbaser = old_pendbaser;
522 pendbaser = update_64bit_reg(pendbaser, addr & 4, len, val);
523 pendbaser = vgic_sanitise_pendbaser(pendbaser);
524 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser,
525 pendbaser) != old_pendbaser);