vpe_to_cpuid_lock
cpu = vpe_to_cpuid_lock(vpe, flags);
from = vpe_to_cpuid_lock(vpe, &flags);
cpu = vpe_to_cpuid_lock(vpe, &flags);