vtime_generic_enabled_cpu
return vtime_generic_enabled_cpu(cpu);
if (!vtime_generic_enabled_cpu(cpu))
if (!vtime_generic_enabled_cpu(cpu)) {
if (vtime_generic_enabled_cpu(cpu))