diff options
author | Miles Bader <miles@gnu.org> | 1996-09-14 17:40:35 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-09-14 17:40:35 +0000 |
commit | 50cc2c4e5dcb08f229f5e53a18c52397b9598379 (patch) | |
tree | 2552c4f3200c397eda078ce55775845e9ae2cd05 | |
parent | a55311baf06d4f56d036c55a5e0a8257a9277e74 (diff) |
(dev_write, dev_read): Use void * for buffers, not char *.
-rw-r--r-- | libstore/device.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libstore/device.c b/libstore/device.c index f6d77bdd..88b34f73 100644 --- a/libstore/device.c +++ b/libstore/device.c @@ -31,7 +31,7 @@ static error_t dev_read (struct store *store, off_t addr, size_t index, mach_msg_type_number_t amount, - char **buf, mach_msg_type_number_t *len) + void **buf, mach_msg_type_number_t *len) { #if 1 return device_read (store->port, 0, addr, amount, (io_buf_ptr_t *)buf, len); @@ -53,7 +53,7 @@ dev_read (struct store *store, static error_t dev_write (struct store *store, - off_t addr, size_t index, char *buf, mach_msg_type_number_t len, + off_t addr, size_t index, void *buf, mach_msg_type_number_t len, mach_msg_type_number_t *amount) { #if 1 |