KVM_REG_ARM_STD_HYP_BIT_PV_TIME
return test_bit(KVM_REG_ARM_STD_HYP_BIT_PV_TIME,
if (test_bit(KVM_REG_ARM_STD_HYP_BIT_PV_TIME,