write32
extern ssize_t write32(int32_t, caddr32_t, size32_t);
/* 4 */ SYSENT_CI("write", write32, 3),