utssys32
int64_t utssys32(void *, int, int, void *);
SYSENT_2CI("utssys", utssys32, 4)),
/* 57 */ SYSENT_2CI("utssys", utssys32, 4),