gicr_read_vpropbaser
val = gicr_read_vpropbaser(base + SZ_128K + GICR_VPROPBASER);
val = gicr_read_vpropbaser(base + SZ_128K + GICR_VPROPBASER);
val = gicr_read_vpropbaser(vlpi_base + GICR_VPROPBASER);
val = gicr_read_vpropbaser(ptr + SZ_128K + GICR_VPROPBASER);