taglinefilesource code
sys_mpx67include/linux/sys.hextern int sys_mpx();
sys_mpx120kernel/sched.csys_lock, sys_ioctl, sys_fcntl, sys_mpx, sys_setpgid, sys_ulimit,