cpupid_to_pid
return cpupid_to_pid(cpupid) == (-1 & LAST__PID_MASK);
return (task_pid & LAST__PID_MASK) == cpupid_to_pid(cpupid);