kernel - Use intmax_t when printing memory amounts
authorMatthew Dillon <dillon@apollo.backplane.com>
Fri, 5 Feb 2010 04:32:41 +0000 (20:32 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Fri, 5 Feb 2010 04:32:41 +0000 (20:32 -0800)
* Now that vm_pindex_t is 64 bits, fix various printf()s

sys/platform/pc64/x86_64/machdep.c
sys/platform/vkernel/i386/autoconf.c

index 3692e01..bfca8b7 100644 (file)
@@ -367,9 +367,9 @@ again:
        cninit();               /* the preferred console may have changed */
 #endif
 
-       kprintf("avail memory = %lu (%lu MB)\n",
-               ptoa(vmstats.v_free_count),
-               ptoa(vmstats.v_free_count) / 1024 / 1024);
+       kprintf("avail memory = %ju (%ju MB)\n",
+               (uintmax_t)ptoa(vmstats.v_free_count),
+               (uintmax_t)ptoa(vmstats.v_free_count) / 1024 / 1024);
 
        /*
         * Set up buffers, so they can be used to read disk labels.
index b323861..48379da 100644 (file)
@@ -129,8 +129,9 @@ cpu_startup(void *dummy)
        vm_offset_t pager_eva;
 
        kprintf("%s", version);
-       kprintf("real memory = %llu (%llu MB)\n",
-               ptoa(Maxmem), ptoa(Maxmem) / 1024 / 1024);
+       kprintf("real memory = %ju (%ju MB)\n",
+               (uintmax_t)ptoa(Maxmem),
+               (uintmax_t)ptoa(Maxmem) / 1024 / 1024);
 
        if (nbuf == 0) {
                int factor = 4 * BKVASIZE / 1024;
@@ -177,8 +178,9 @@ cpu_startup(void *dummy)
         userconfig();
        cninit();               /* the preferred console may have changed */
 #endif
-       kprintf("avail memory = %u (%u MB)\n", ptoa(vmstats.v_free_count),
-               ptoa(vmstats.v_free_count) / 1024 / 1024);
+       kprintf("avail memory = %ju (%ju MB)\n",
+               (uintmax_t)ptoa(vmstats.v_free_count),
+               (uintmax_t)ptoa(vmstats.v_free_count) / 1024 / 1024);
        bufinit();
        vm_pager_bufferinit();
 #ifdef SMP