sparc64_read
ssize_t sparc64_read(int, void *, size_t);
#define READ(f, b, c) sparc64_read((f), (void *)LOADADDR(b), (c))
extern ssize_t sparc64_read(int, void *, size_t);