xenix_sys_rdchk   441 compat/ibcs2/ibcs2_syscallargs.h int	xenix_sys_rdchk(struct proc *, void *, register_t *);
xenix_sys_rdchk   310 compat/ibcs2/ibcs2_sysent.c 	    xenix_sys_rdchk },			/* 135 = rdchk */