os_arch_prctl     316 arch/um/include/shared/os.h extern int os_arch_prctl(int pid, int option, unsigned long *arg2);
os_arch_prctl      55 arch/x86/um/syscalls_64.c 	ret = os_arch_prctl(pid, option, ptr);