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.

1 files changed, 3 insertions, 3 deletions

diff --git a/xen/net.c b/xen/net.c
index 55643651..a5db4568 100644
--- a/xen/net.c
+++ b/xen/net.c
@@ -119,10 +119,10 @@ static void enqueue_rx_buf(struct net_data *nd, int number) {
 }
 
 static int recompute_checksum(void *data, int len) {
-	unsigned16_t *header16 = data;
-	unsigned8_t *header8 = data;
+	uint16_t *header16 = data;
+	uint8_t *header8 = data;
 	unsigned length, i;
-	unsigned32_t checksum = 0;
+	uint32_t checksum = 0;
 
 	/* IPv4 header length */
 	length = (header8[0] & 0xf) * 4;