1792 /* l: target CPU to migrate */