readv32
extern ssize_t readv32(int32_t, caddr32_t, int32_t);
/* 121 */ SYSENT_CI("readv", readv32, 3),