diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2016-03-30 02:26:28 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2016-04-04 09:36:36 +0200 |
| commit | 7bbfa39f59dcbc55b21d31abb9e2febef6a51ebb (patch) | |
| tree | 840a881ede29701996d51a94272b4da3115e3412 /ipc/ipc_kmsg.c | |
| parent | a90dc34f976cd37da23af526120f2ac480cb131f (diff) | |
| download | gnumach-7bbfa39f59dcbc55b21d31abb9e2febef6a51ebb.tar.gz gnumach-7bbfa39f59dcbc55b21d31abb9e2febef6a51ebb.tar.bz2 gnumach-7bbfa39f59dcbc55b21d31abb9e2febef6a51ebb.zip | |
Use uint32_t instead of unsigned32_t.
Implement stdint.h and use it in gnumach.
Remove old type definitions such as signed* and unsigned*.
* Makefile.am: Add -ffreestanding.
* i386/i386/xen.h: Use uint64_t.
* i386/include/mach/i386/machine_types.defs: Use uint32_t and int32_t.
* i386/include/mach/i386/vm_types.h: Remove definitions of int*, uint*,
unsigned* and signed* types.
* i386/xen/xen.c: Use uint64_t.
* include/device/device_types.defs: Use uint32_t.
* include/mach/std_types.defs: Use POSIX types.
* include/mach/std_types.h: Include stdint.h.
* include/stdint.h: New file with POSIX types.
* include/sys/types.h: Include stdint.h.
* ipc/ipc_kmsg.c: Use uint64_t.
* kern/exception.c: Use uint32_t.
* linux/dev/include/linux/types.h: Remove POSIX types.
* xen/block.c: Use uint64_t.
* xen/net.c: Do not use removed unsigned*_t types.
* xen/ring.h: Use uint32_t instead.
* xen/store.c: Use uint32_t.
* xen/store.h: Use uint32_t.
* xen/time.c: Use POSIX types only.
* xen/time.h: Use uint64_t.
Diffstat (limited to 'ipc/ipc_kmsg.c')
| -rw-r--r-- | ipc/ipc_kmsg.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ipc/ipc_kmsg.c b/ipc/ipc_kmsg.c index 5076809e..21667cae 100644 --- a/ipc/ipc_kmsg.c +++ b/ipc/ipc_kmsg.c @@ -1307,7 +1307,7 @@ ipc_kmsg_copyin_body( mach_msg_type_number_t number; boolean_t is_inline, longform, dealloc, is_port; vm_offset_t data; - unsigned64_t length; + uint64_t length; kern_return_t kr; type = (mach_msg_type_long_t *) saddr; @@ -1358,7 +1358,7 @@ ipc_kmsg_copyin_body( /* calculate length of data in bytes, rounding up */ - length = (((unsigned64_t) number * size) + 7) >> 3; + length = (((uint64_t) number * size) + 7) >> 3; if (is_inline) { vm_size_t amount; @@ -2351,7 +2351,7 @@ ipc_kmsg_copyout_body( mach_msg_type_size_t size; mach_msg_type_number_t number; boolean_t is_inline, longform, is_port; - unsigned64_t length; + uint64_t length; vm_offset_t addr; type = (mach_msg_type_long_t *) saddr; @@ -2382,7 +2382,7 @@ ipc_kmsg_copyout_body( /* calculate length of data in bytes, rounding up */ - length = (((unsigned64_t) number * size) + 7) >> 3; + length = (((uint64_t) number * size) + 7) >> 3; is_port = MACH_MSG_TYPE_PORT_ANY(name); |