get_owner_cpu
owner = get_owner_cpu(val);
if (vcpu_is_preempted(get_owner_cpu(val)))
int cpu = get_owner_cpu(val);