Lines Matching defs:pendbaser
509 u64 value = vgic_cpu->pendbaser;
521 u64 old_pendbaser, pendbaser;
528 old_pendbaser = READ_ONCE(vgic_cpu->pendbaser);
529 pendbaser = old_pendbaser;
530 pendbaser = update_64bit_reg(pendbaser, addr & 4, len, val);
531 pendbaser = vgic_sanitise_pendbaser(pendbaser);
532 } while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser,
533 pendbaser) != old_pendbaser);