cpupid_to_cpu
return cpu_to_node(cpupid_to_cpu(cpupid));
return cpupid_to_cpu(cpupid) == (-1 & LAST__CPU_MASK);
return cpupid_to_cpu(cpupid) < nr_cpu_ids;
int cpu = cpupid_to_cpu(cpupid);