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 /include/device | |
| 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 'include/device')
| -rw-r--r-- | include/device/device_types.defs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/device/device_types.defs b/include/device/device_types.defs index 49cc2717..e97d89ca 100644 --- a/include/device/device_types.defs +++ b/include/device/device_types.defs @@ -43,9 +43,9 @@ DEVICE_IMPORTS #endif -type recnum_t = unsigned32; -type dev_mode_t = unsigned32; -type dev_flavor_t = unsigned32; +type recnum_t = uint32_t; +type dev_mode_t = uint32_t; +type dev_flavor_t = uint32_t; type dev_name_t = (MACH_MSG_TYPE_STRING_C, 8*128); type dev_status_t = array[*:1024] of int; type io_buf_ptr_t = ^array[] of MACH_MSG_TYPE_INTEGER_8; |