kvm_arm_pvtime_supported
bool kvm_arm_pvtime_supported(void);
r = kvm_arm_pvtime_supported();
if (!kvm_arm_pvtime_supported() ||
if (kvm_arm_pvtime_supported())
if (!kvm_arm_pvtime_supported() ||