481ae1556f
- Use kcpuset name for kernel-only functions. - Use cpuid_t to specify CPU ID. - Unify all cpuset users. API is expected to be stable now.