send32
/* 240 */ SYSENT_CI("send", send32, 4),
extern ssize_t send32(int32_t, caddr32_t, size32_t, int32_t);