ucredsys32
extern int ucredsys32(int, int, caddr32_t);
/* 83 */ SYSENT_CI("ucredsys", ucredsys32, 3),