GICR_PENDBASER_PTZ
if (!(vcpu->arch.vgic_cpu.pendbaser & GICR_PENDBASER_PTZ))
value &= ~GICR_PENDBASER_PTZ;