Changeset 29 for trunk/hal/x86_64/hal_types.h

Timestamp:

Jun 21, 2017, 8:35:30 AM (7 years ago)

Author:

max@…

Message:

Update. The kernel now enables the GDT/IDT, and has trap entries. A
x86_printf function is added for debugging purposes only. The new Makefile
will come in another commit.

File:

• trunk/hal/x86_64/hal_types.h (modified) (2 diffs)

trunk/hal/x86_64/hal_types.h

@@ -31 +31 @@
 #endif
 
+#define __packed        __attribute__((__packed__))
+#define __arraycount(a) (sizeof(a) / sizeof(*(a)))
+#define __in_kdata      __attribute__((section(".kdata")))
+
+
 /**************************************************************************
  *                      Exact-width integer types.  
@@ -46 +51 @@
 typedef   signed long long int      int64_t;
 typedef unsigned long long int     uint64_t;
+
+typedef uint64_t                     size_t;
 
 /***************************************************************************