Changeset 47 for trunk/hal/x86_64/x86_printf.c

Timestamp:

Jun 26, 2017, 11:48:28 AM (7 years ago)

Author:

max@…

Message:

Use mcmodel=large, in order to have a kernel image that is located at the
beginning of each cluster in virtual memory, as discussed with Alain. The
performance cost will be taken care of later.

Now, the active kernel is located at 0xfffff00000000000, and the base of
the clusters is 0xffff800000000000.

File:

• trunk/hal/x86_64/x86_printf.c (modified) (1 diff)

trunk/hal/x86_64/x86_printf.c

@@ -214 +214 @@
                                 x86_printf("0x%s", buf);
                         } else if (c == 's') {
-                                x86_printf((char *) va_arg(ap, int));
+                                x86_printf((char *) va_arg(ap, uint64_t));
                         } 
                 } else