Symbol: release_user_cpus_ptr
include/linux/sched.h
1901
extern void release_user_cpus_ptr(struct task_struct *p);
kernel/fork.c
534
release_user_cpus_ptr(tsk);