extern int osi_rdwr(int rw, struct osi_file *file, caddr_t addrp, size_t asize,
size_t *resid);
extern void inline setup_uio(uio_t *uiop, struct iovec *iovecp, char *buf,
- int pos, int count, uio_flag_t flag,
+ afs_offs_t pos, int count, uio_flag_t flag,
uio_seg_t seg);
extern int osi_file_uio_rdwr(struct osi_file *osifile, uio_t *uiop, int rw);
extern void afs_osi_SetTime(osi_timeval_t *tvp);