release_user_cpus_ptr
extern void release_user_cpus_ptr(struct task_struct *p);
release_user_cpus_ptr(tsk);