GICR_VPENDBASER_Valid
if (tmp & (GICR_VPENDBASER_Valid >> 32)) {
tmp &= ~(GICR_VPENDBASER_Valid >> 32);
if (gicr_read_vpendbaser(vlpi_base + GICR_VPENDBASER) & GICR_VPENDBASER_Valid)
val &= ~GICR_VPENDBASER_Valid;
val |= GICR_VPENDBASER_Valid;
val |= GICR_VPENDBASER_Valid;
if (val & GICR_VPENDBASER_Valid)