ibcs2_sys_putmsg  435 compat/ibcs2/ibcs2_syscallargs.h int	ibcs2_sys_putmsg(struct proc *, void *, register_t *);
ibcs2_sys_putmsg  212 compat/ibcs2/ibcs2_sysent.c 	    ibcs2_sys_putmsg },			/* 86 = putmsg */