pwrite32
/* 174 */ SYSENT_CI("pwrite", pwrite32, 4),
extern ssize_t pwrite32(int32_t, caddr32_t, size32_t, off32_t);