writev32
extern ssize_t writev32(int32_t, caddr32_t, int32_t);
/* 122 */ SYSENT_CI("writev", writev32, 3),