newlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in format strings
authorKornilios Kourtis <kkourt@inf.ethz.ch>
Sun, 5 Feb 2012 14:41:54 +0000 (15:41 +0100)
committerKornilios Kourtis <kkourt@inf.ethz.ch>
Sun, 5 Feb 2012 14:41:54 +0000 (15:41 +0100)
Again this is needed because newlib defines uint32_t as unsigned long.
(In retrospect, I should just changed newlib's uint32_t to unsigned int)

Checkpoint:
compiles and boots qemu for x86-{32,64}-{newlib,freec}
Also, a couple of tests on real hardware (x86_64 only) work

38 files changed:
include/barrelfish_kpi/types.h
kernel/arch/x86/perfmon_intel.c
kernel/arch/x86/timing.c
kernel/arch/x86_32/init.c
kernel/arch/x86_32/irq.c
kernel/arch/x86_32/paging.c
kernel/arch/x86_32/startup_arch.c
kernel/arch/x86_32/syscall.c
kernel/capabilities.c
kernel/include/paging_kernel_helper.h
lib/barrelfish/arch/x86_32/debug.c
lib/barrelfish/debug.c
lib/elf/elf32.c
lib/elf/elf64.c
lib/lwip/src/core/dns.c
lib/nfs/nfs.c
lib/nfs/rpc.c
lib/nfs/xdr_pbuf.c
lib/posixcompat/sbrk.c
lib/posixcompat/select.c
lib/posixcompat/sockets.c
tools/flounder/AHCI.hs
usr/chips/framework.c
usr/drivers/vbe/main.c
usr/drivers/vbe/vbe.c
usr/mem_serv_dist/mem_serv.c
usr/mem_serv_dist/steal.c
usr/pci/acpi.c
usr/pci/acpica_osglue.c
usr/pci/buttons.c
usr/pci/interrupts.c
usr/pci/pci.c
usr/pci/pci_service.c
usr/tests/idctest/idctest.c
usr/tests/multihoptest/multihoptest.c
usr/tests/thcidctest/thcidctest.c
usr/tests/thcminitest/thcminitest.c
usr/tests/xcorecaps/xcorecapserv.c

index 68ad72e..ae0bfa2 100644 (file)
@@ -105,6 +105,9 @@ typedef uint64_t systime_t;
 #define PRIxSYSTIME PRIx64
 #define PRIXSYSTIME PRIX64
 
+#define PRIxERRV    PRIxPTR
+#define PRIuERRV    PRIuPTR
+
 #endif // __ASSEMBLER__
 
 #endif // BARRELFISH_KPI_TYPES_H
index a1e7843..4198618 100644 (file)
@@ -30,7 +30,7 @@ errval_t perfmon_intel_init(void)
 
     if(cpuid_max_biv_rd(&mycpuid) < 0xa) {
         printf("Intel Architectural Performance Monitoring not supported!"
-               "cpuid_max_biv_rd is %d\n", cpuid_max_biv_rd(&mycpuid));
+               "cpuid_max_biv_rd is %"PRIu32"\n", cpuid_max_biv_rd(&mycpuid));
         return SYS_ERR_PERFMON_NOT_AVAILABLE;
     }
 
index 0151f76..b3e5c25 100644 (file)
@@ -67,7 +67,7 @@ static uint32_t calibrate_apic_timer_rtc(void)
     assert(curcount != 0);
 
     uint32_t tps = UINT32_MAX - curcount;
-    printk(LOG_NOTE, "Measured %d APIC timer counts in one RTC second, "
+    printk(LOG_NOTE, "Measured %"PRIu32" APIC timer counts in one RTC second, "
            "%d data points.\n", tps, reads);
 
     return tps;
index 3394d85..da4786d 100644 (file)
@@ -503,7 +503,7 @@ static inline void enable_monitor_mwait(void)
     if (ecx & (1 << 3)) {
         cpuid(5, &eax, &ebx, &ecx, &edx);
         debug(SUBSYS_STARTUP, "MONITOR/MWAIT supported: "
-              "min size %u bytes, max %u bytes. %s %s\n",
+              "min size %"PRIu32" bytes, max %"PRIu32" bytes. %s %s\n",
               eax, ebx, (ecx & 2) ? "IBE" : "", (ecx & 1) ? "EMX" : "");
     }
 }
@@ -686,7 +686,7 @@ void arch_init(uint32_t magic, void *pointer)
     }
 
     // XXX: print kernel address for debugging with gdb
-    printf("Kernel starting at address 0x%x\n", local_phys_to_mem(dest));
+    printf("Kernel starting at address 0x%"PRIxLVADDR"\n", local_phys_to_mem(dest));
 
     void __attribute__ ((noreturn)) (*reloc_text_init)(void) =
         (void *)local_phys_to_mem((lpaddr_t)text_init);
@@ -760,7 +760,7 @@ void arch_init(uint32_t magic, void *pointer)
         break;
 
     default:
-        panic("Magic value does not match! (0x%x != 0x%x != 0x%x)",
+        panic("Magic value does not match! (0x%x != 0x%"PRIu32" != 0x%x)",
               KERNEL_BOOT_MAGIC, magic, MULTIBOOT_INFO_MAGIC);
         break;
     }
index a2e75fa..fc7518b 100644 (file)
@@ -486,7 +486,7 @@ static __attribute__ ((used,noreturn))
     // CS.CPL == 0, ie. a kernel-mode fault
     assert((save_area->cs & 0x3) == 0);
 
-    printk(LOG_PANIC, "exception %d (error code 0x%x): ", vec, error);
+    printk(LOG_PANIC, "exception %d (error code 0x%"PRIx32"): ", vec, error);
 
     switch(vec) {
     case 0:     // Divide Error (#DE)
@@ -542,7 +542,7 @@ static __attribute__ ((used,noreturn))
 
         __asm volatile("mov %%cr2, %[fault_address]"
                        : [fault_address] "=r" (fault_address));
-        printf("Address that caused the fault: 0x%x\n", fault_address);
+        printf("Address that caused the fault: 0x%"PRIxLVADDR"\n", fault_address);
         break;
     case 17:    // Alignment Check Exception (#AC)
         printf("alignment check exception\n");
@@ -565,11 +565,12 @@ static __attribute__ ((used,noreturn))
 
     // Print faulting instruction pointer
     printf("Faulting instruction pointer (or following instruction): "
-           "0x%x (0x %x in binary)\n", rip,
+           "0x%"PRIxPTR" (0x %"PRIxPTR" in binary)\n", rip,
            rip - (uintptr_t)&_start_kernel + X86_32_START_KERNEL_PHYS);
 
     // Print some important registers
-    printf("EAX 0x%x EBX 0x%x ECX 0x%x EDX 0x%x ESP 0x%x\n",
+    printf("EAX 0x%"PRIx32" EBX 0x%"PRIx32" ECX 0x%"PRIx32
+          " EDX 0x%"PRIx32" ESP 0x%"PRIx32"\n",
            save_area->eax, save_area->ebx,
            save_area->ecx, save_area->edx,
            save_area->esp);
@@ -666,7 +667,8 @@ void generic_handle_user_exception(uintptr_t *cpu_save_area,
         __asm volatile("mov %%cr2, %[fault_address]"
                        : [fault_address] "=r" (fault_address));
 
-        printk(LOG_WARN, "user page fault%s in '%.*s': addr %x IP %x error %x\n",
+        printk(LOG_WARN, "user page fault%s in '%.*s': addr %"PRIxLVADDR
+                         " IP %"PRIxPTR"  error %"PRIx32"\n",
                disabled ? " WHILE DISABLED" : "", DISP_NAME_LEN,
                disp->name, fault_address, eip, error);
 
@@ -714,14 +716,15 @@ void generic_handle_user_exception(uintptr_t *cpu_save_area,
 
         __asm volatile("fnstsw %0" : "=a" (fpu_status));
 
-        printk(LOG_WARN, "FPU error%s in '%.*s': IP %x FPU status %x\n",
+        printk(LOG_WARN, "FPU error%s in '%.*s': IP %"PRIxPTR" FPU status %x\n",
                disabled ? " WHILE DISABLED" : "", DISP_NAME_LEN,
                disp->name, eip, fpu_status);
 
         handler = disp->dispatcher_trap;
         param = vec;
     } else { // All other traps
-        printk(LOG_WARN, "user trap #%d in '%.*s': IP %x, error %x\n",
+        printk(LOG_WARN, "user trap #%d in '%.*s': IP %"PRIxPTR
+                         ", error %"PRIu32"\n",
                vec, DISP_NAME_LEN, disp->name, eip, error);
         assert(disp_save_area == dispatcher_get_trap_save_area(handle));
         if(vec != 1) {
index e99a83a..9d07890 100644 (file)
@@ -149,7 +149,8 @@ static int paging_x86_32_map_mem(lpaddr_t base, size_t size, uint64_t bitmap)
     // Is mapped region out of range?
     assert(local_phys_to_gen_phys(base + size) <= X86_32_PADDR_SPACE_LIMIT);
     if(local_phys_to_gen_phys(base + size) > X86_32_PADDR_SPACE_LIMIT) {
-        printk(LOG_ERR, "Mapped region [%x,%x] out of physical address range!",
+        printk(LOG_ERR, "Mapped region [%"PRIxLPADDR",%"PRIxLPADDR"]"
+                        "out of physical address range!",
                base, base + size);
         return -1;
     }
@@ -189,8 +190,9 @@ static int paging_x86_32_map_mem(lpaddr_t base, size_t size, uint64_t bitmap)
               addr, X86_32_PDIR_BASE(vaddr));
         mapit(pdir_base, addr, bitmap);
 #       else
-        debug(SUBSYS_PAGING, "Mapping 4K page: vaddr = 0x%x, addr = 0x%x, "
-              "PDIR_BASE = %u, PTABLE_BASE = %u -- ", vaddr,
+        debug(SUBSYS_PAGING, "Mapping 4K page: vaddr = 0x%"PRIxLVADDR", "
+              "addr = 0x%"PRIxLVADDR", "
+              "PDIR_BASE = %"PRIuLPADDR", PTABLE_BASE = %"PRIuLPADDR" -- ", vaddr,
               addr, X86_32_PDIR_BASE(vaddr), X86_32_PTABLE_BASE(vaddr));
         mapit(pdir_base, ptable_base, addr, bitmap);
 #       endif
@@ -250,8 +252,9 @@ lvaddr_t paging_x86_32_map_special(lpaddr_t base, size_t size, uint64_t bitmap)
         union x86_32_ptable_entry *ptable_base =
             &mem_ptable[X86_32_PDIR_BASE(vaddr) - (X86_32_PTABLE_SIZE - MEM_PTABLE_SIZE)][X86_32_PTABLE_BASE(vaddr)];
 
-        debug(SUBSYS_PAGING, "Mapping 4K device page: vaddr = 0x%x, addr = 0x%x, "
-              "PDIR_BASE = %u, PTABLE_BASE = %u, pdir = %p, ptable = %p -- ",
+        debug(SUBSYS_PAGING, "Mapping 4K device page: vaddr = 0x%"PRIxLVADDR", "
+              "addr = 0x%"PRIxLPADDR", "
+              "PDIR_BASE = %"PRIxLPADDR", PTABLE_BASE = %"PRIxLPADDR", pdir = %p, ptable = %p -- ",
               vaddr, addr, X86_32_PDIR_BASE(vaddr), X86_32_PTABLE_BASE(vaddr), pdir,
               mem_ptable[X86_32_PDIR_BASE(vaddr) - (X86_32_PTABLE_SIZE - MEM_PTABLE_SIZE)]);
         mapit(pdir_base, ptable_base, addr, bitmap);
index e781d77..323b74f 100644 (file)
@@ -128,8 +128,10 @@ errval_t startup_map_init(lvaddr_t vbase, lpaddr_t base, size_t size,
                     X86_32_PDIR_BASE(vaddr) * X86_32_PTABLE_SIZE
                     + X86_32_PTABLE_BASE(vaddr)];
 
-        debug(SUBSYS_PAGING, "Mapping 4K page: vaddr = 0x%x, base = 0x%x, "
-              "PDIR_BASE = %u, PTABLE_BASE = %u -- ", vaddr, base,
+        debug(SUBSYS_PAGING, "Mapping 4K page: vaddr = 0x%"PRIxLVADDR
+                             ", base = 0x%"PRIxLPADDR", "
+              "PDIR_BASE = %"PRIuLPADDR", "
+              "PTABLE_BASE = %"PRIuLPADDR" -- ", vaddr, base,
               X86_32_PDIR_BASE(vaddr), X86_32_PTABLE_BASE(vaddr));
 #endif
 
@@ -164,7 +166,7 @@ static void create_phys_caps(lpaddr_t init_alloc_addr)
     for(char *m = mmap_addr; m < mmap_addr + glbl_core_data->mmap_length;) {
         struct multiboot_mmap *mmap = (struct multiboot_mmap * SAFE)TC(m);
 
-        debug(SUBSYS_STARTUP, "MMAP %llx--%llx Type %u\n",
+        debug(SUBSYS_STARTUP, "MMAP %llx--%llx Type %"PRIu32"\n",
               mmap->base_addr, mmap->base_addr + mmap->length,
               mmap->type);
 
@@ -473,7 +475,7 @@ struct dcb *spawn_bsp_init(const char *name, alloc_phys_func alloc_phys)
 
     /* Construct cmdline args */
     char bootinfochar[16];
-    snprintf(bootinfochar, sizeof(bootinfochar), "%u", BOOTINFO_BASE);
+    snprintf(bootinfochar, sizeof(bootinfochar), "%"PRIuLPADDR, BOOTINFO_BASE);
 
     const char *argv[6] = { "init", bootinfochar };
     int argc = 2;
@@ -578,7 +580,7 @@ struct dcb *spawn_app_init(struct x86_core_data *core_data,
 
     // IPI channel id of core that booted this core
     char chanidchar[30];
-    snprintf(chanidchar, sizeof(chanidchar), "chanid=%d", core_data->chan_id);
+    snprintf(chanidchar, sizeof(chanidchar), "chanid=%"PRIu32, core_data->chan_id);
 
     // Arch id of the core that booted this core
     char archidchar[30];
index 19b81b4..702df9c 100644 (file)
@@ -692,7 +692,7 @@ struct sysret sys_syscall(uintptr_t arg0, uintptr_t arg1, uintptr_t *args,
         uint8_t invoke_bits = (arg0 >> 16) & 0xff;
         capaddr_t invoke_cptr = arg1;
 
-        debug(SUBSYS_SYSCALL, "sys_invoke(0x%x(%d))\n",
+        debug(SUBSYS_SYSCALL, "sys_invoke(0x%"PRIxCADDR"(%d))\n",
               invoke_cptr, invoke_bits);
 
         // Capability to invoke
@@ -896,7 +896,7 @@ struct sysret sys_syscall(uintptr_t arg0, uintptr_t arg1, uintptr_t *args,
 
     default:
         printk(LOG_ERR, "sys_syscall: Illegal system call! "
-               "(0x%x, 0x%x)\n", syscall, arg1);
+               "(0x%x, 0x%"PRIxPTR")\n", syscall, arg1);
         retval.error = SYS_ERR_ILLEGAL_SYSCALL;
         break;
     }
@@ -908,7 +908,7 @@ struct sysret sys_syscall(uintptr_t arg0, uintptr_t arg1, uintptr_t *args,
     }
 
     if (syscall == SYSCALL_INVOKE) {
-        debug(SUBSYS_SYSCALL, "invoke returning 0x%x 0x%x\n",
+        debug(SUBSYS_SYSCALL, "invoke returning 0x%"PRIxERRV" 0x%"PRIxPTR"\n",
               retval.error, retval.value);
     }
 
index 7c2397b..981b66c 100644 (file)
@@ -599,7 +599,8 @@ errval_t caps_lookup_slot(struct capability *cnode_cap, capaddr_t cptr,
         & MASK(cnode_cap->u.cnode.guard_size);
     if (cptr_guard != cnode_cap->u.cnode.guard) {
         debug(SUBSYS_CAPS, "caps_lookup_slot: guard check failed\n"
-              "Computed guard = %x, Cnode guard = %x, bits = %u\n",
+              "Computed guard = %"PRIuCADDR", "
+              "Cnode guard = %"PRIxCADDR", bits = %u\n",
               cptr_guard, cnode_cap->u.cnode.guard,
               cnode_cap->u.cnode.guard_size);
         return SYS_ERR_GUARD_MISMATCH;
index 8830c21..636bf72 100644 (file)
@@ -42,7 +42,7 @@ static inline void paging_align(lvaddr_t *vbase, lpaddr_t *base, size_t *size,
     // Align base to page size
     if(base != NULL && (*base & pagemask)) {
         printk(LOG_WARN, "Given paddr %" PRIxLPADDR " unaligned to system "
-               "page size %" PRIxPTR "\n", *base, pagesize);
+               "page size %zu\n", *base, pagesize);
         /* *base -= *base & pagemask; */
     }
 
index 76c051f..94b7ee0 100644 (file)
@@ -34,7 +34,7 @@ void debug_dump(arch_registers_state_t *archregs)
 {
     struct registers_x86_32 *regs = archregs;
 
-    debug_printf("Dumping stack (0x%x)...\n", regs->esp);
+    debug_printf("Dumping stack (0x%" PRIx32 ")...\n", regs->esp);
     debug_dump_mem_around_addr(regs->esp);
     // debug_printf("Dumping code (0x%x)...\n", regs->eip);
     // debug_dump_mem_around_addr(regs->eip);
@@ -99,12 +99,12 @@ void debug_print_fpu_state(struct registers_fpu_x86_32 *fpustate)
     debug_printf("FSW %x\n", regs16[1]);
     debug_printf("FTW %x\n", regs8[4]);
     debug_printf("FOP %x\n", regs16[3]);
-    debug_printf("IP  %x\n", regs32[3]);
+    debug_printf("IP  %" PRIx32 "\n", regs32[3]);
     debug_printf("CS  %x\n", regs16[6]);
-    debug_printf("DP  %x\n", regs32[5]);
+    debug_printf("DP  %" PRIx32 "\n", regs32[5]);
     debug_printf("DS  %x\n", regs16[10]);
-    debug_printf("MXCSR %x\n", regs32[7]);
-    debug_printf("MXCSR mask %x\n", regs32[8]);
+    debug_printf("MXCSR %" PRIx32 "\n", regs32[7]);
+    debug_printf("MXCSR mask %" PRIx32 "\n", regs32[8]);
 
     for (int i = 0; i < 7; i++) {
         debug_printf("ST%d/MM%d %llx:%llx\n", i, i,
index 17a6b8b..ae4497d 100644 (file)
@@ -250,7 +250,7 @@ static void walk_cspace(struct cnoderef cnode, uint8_t level)
             assert(prpos < sizeof(buf));
         }
         prpos += snprintf(&buf[prpos], sizeof(buf) - prpos,
-                          "slot %u caddr 0x%x (%u bits) is a ",
+                          "slot %" PRIuCADDR " caddr 0x%" PRIxCADDR " (%u bits) is a ",
                           pos.slot, get_cap_addr(pos), get_cap_valid_bits(pos));
         assert(prpos < sizeof(buf));
         prpos += debug_print_cap(&buf[prpos], sizeof(buf) - prpos, &cap);
@@ -306,14 +306,16 @@ void debug_my_cspace(void)
 
 int debug_print_capref(char *buf, size_t len, struct capref cap)
 {
-    return snprintf(buf, len, "CNode addr %x, vbits = %d, slot %u, vbits = %d",
+    return snprintf(buf, len, "CNode addr 0x%" PRIxCADDR
+                              ", vbits = %d, slot %" PRIuCADDR ", vbits = %d",
                     get_cnode_addr(cap),  get_cnode_valid_bits(cap), cap.slot,
                     get_cap_valid_bits(cap));
 }
 
 void debug_dump_mem(lvaddr_t start_addr, lvaddr_t end_addr)
 {
-    debug_printf("Dumping memory in range 0x%zx to 0x%zx:\n",
+    debug_printf("Dumping memory in range 0x%" PRIuLVADDR
+                 " to 0x%" PRIuLVADDR ":\n",
                  start_addr, end_addr);
 
     for (uintptr_t *p = (void *)start_addr; (uintptr_t)p < end_addr; p++) {
@@ -324,7 +326,7 @@ void debug_dump_mem(lvaddr_t start_addr, lvaddr_t end_addr)
             bufpos += snprintf(&buf[bufpos], sizeof(buf) - bufpos, "%02x ", bytes[i]);
             assert(bufpos < sizeof(buf));
         }
-        debug_printf("%p: %.*s %*zx\n", p, (int)sizeof(buf), buf,
+        debug_printf("%p: %.*s %*" PRIxPTR "\n", p, (int)sizeof(buf), buf,
                      (int)sizeof(uintptr_t) * 2, *p);
     }
 }
index 0a60df0..5627f2e 100644 (file)
@@ -192,7 +192,7 @@ void elf32_relocate(genvaddr_t dst, genvaddr_t src,
             break;
 
         default:
-            printf("elf_relocate: relocation %d type %d\n", i, type);
+            printf("elf_relocate: relocation %d type %"PRIu32"\n", i, type);
             assert(!"Unimplemented: Cannot handle relocation type");
             break;
         }
index c2b9ef7..f96f1d8 100644 (file)
@@ -214,7 +214,7 @@ void elf64_relocate(genvaddr_t dst, genvaddr_t src,
             break;
 
         default:
-            printf("elf_relocate: relocation %d type %d\n", i, type);
+            printf("elf_relocate: relocation %d type %"PRIu32"\n", i, type);
             assert(!"Unimplemented: Cannot handle relocation type");
             break;
         }
index 26f5bc6..2c31146 100644 (file)
@@ -252,7 +252,7 @@ static u8_t dns_payload[DNS_MSG_SIZE];
  * Initialize the resolver: set up the UDP pcb and configure the default server
  * (DNS_SERVER_ADDRESS).
  */
-void dns_init()
+void dns_init(void)
 {
     struct ip_addr dnsserver;
 
index 3b66fca..ab69f9f 100644 (file)
@@ -56,8 +56,8 @@ static void mount_reply_handler(struct rpc_client *rpc_client, void *arg1,
 
     if (replystat != RPC_MSG_ACCEPTED || acceptstat != RPC_SUCCESS) {
         printf("RPC failed while mounting in state %d:"
-               "replystat = %u, acceptstat = %u\n", client->mount_state,
-               replystat, acceptstat);
+               "replystat = %"PRIu32", acceptstat = %"PRIu32"\n",
+               client->mount_state, replystat, acceptstat);
         goto error;
     }
 
index 57ff280..e900daa 100644 (file)
@@ -203,7 +203,7 @@ static void rpc_recv_handler(void *arg, struct udp_pcb *pcb, struct pbuf *pbuf,
         prev = call;
     }
     if (call == NULL) {
-        fprintf(stderr, "RPC: Unknown XID 0x%x in reply, dropped\n", xid);
+        fprintf(stderr, "RPC: Unknown XID 0x%" PRIx32 " in reply, dropped\n", xid);
 /*        fprintf(stderr, "RPC:[%d:%s] Unknown XID 0x%x in reply, dropped\n",
                 disp_get_domain_id(), disp_name(), xid);
 */
@@ -252,8 +252,9 @@ static void traverse_hash_bucket(int hid, struct rpc_client *client)
         if (++call->timers >= RPC_RETRANSMIT_AFTER) {
             if (call->retries++ == RPC_MAX_RETRANSMIT) {
                 /* admit failure */
-                printf("##### [%d][%d] RPC: timeout for XID 0x%x\n", disp_get_core_id(),
-                                  disp_get_domain_id(), call->xid);
+                printf("##### [%d][%"PRIuDOMAINID"] "
+                       "RPC: timeout for XID 0x%"PRIu32"\n",
+                       disp_get_core_id(), disp_get_domain_id(), call->xid);
                 pbuf_free(call->pbuf);
                 if (prev == NULL) {
                     client->call_hash[hid] = call->next;
@@ -278,8 +279,9 @@ static void traverse_hash_bucket(int hid, struct rpc_client *client)
                 */
 
                 /* retransmit */
-                printf("###### [%d][%d] RPC: retransmit XID 0x%x\n", disp_get_core_id(),
-                       disp_get_domain_id(), call->xid);
+                printf("###### [%d][%"PRIuDOMAINID"] "
+                       "RPC: retransmit XID 0x%"PRIu32"\n",
+                       disp_get_core_id(), disp_get_domain_id(), call->xid);
 
                 // throw away (hide) UDP/IP/ARP headers from previous transmission
                 err_t e = pbuf_header(call->pbuf,
@@ -348,7 +350,7 @@ err_t rpc_init(struct rpc_client *client, struct ip_addr server)
     /* XXX: (very) pseudo-random number for initial XID */
     client->nextxid = (uint32_t)bench_tsc();
 
-    printf("###### Initial sequence no. is %u 0x%x\n",
+    printf("###### Initial sequence no. is %"PRIu32" 0x%"PRIx32"\n",
                client->nextxid, client->nextxid);
     udp_recv(client->pcb, rpc_recv_handler, client);
 
index c001ea5..0e1288f 100644 (file)
@@ -49,7 +49,7 @@ static inline int32_t *make_space(XDR *xdr, size_t size)
     }
     if (xdr->x_handy + size > ((struct pbuf *)xdr->x_base)->len) {
         fprintf(stderr, "xdr_pbuf: make_space(%zu) failing (%zu available)\n",
-                size, ((size_t)((struct pbuf *)xdr->x_base)->len) - xdr->x_handy);
+                size, ((size_t)((struct pbuf *)xdr->x_base)->len) - (size_t)xdr->x_handy);
         return NULL;
     } else {
         int32_t *ret = (int32_t *)((char *)((struct pbuf *)xdr->x_base)->payload + xdr->x_handy);
index 165de4d..2605eea 100644 (file)
@@ -17,7 +17,7 @@
 #define SBRK_REGION_BYTES (256 * 1024 * 1024)
 #endif
 
-void *sbrk(intptr_t increment)
+void *sbrk(ptrdiff_t increment)
 {
     errval_t err;
     size_t orig_offset;
index 6be6280..1cda05a 100644 (file)
@@ -297,7 +297,7 @@ int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds,
 
         // Wait on monitor?
         if(wait_monitor) {
-               printf("%d: Need to wait on monitor\n", disp_get_domain_id());
+               printf("%"PRIuDOMAINID": Need to wait on monitor\n", disp_get_domain_id());
             err = mb->change_waitset(mb, &ws);
             if(err_is_fail(err)) {
                 USER_PANIC_ERR(err, "monitor change_waitset");
index 59c7856..6f65c43 100644 (file)
@@ -429,7 +429,7 @@ int listen(int sockfd, int backlog)
         us->u.passive.backlog = calloc(backlog, sizeof(struct unixsock_binding *));
 
         char str[128];
-        snprintf(str, 128, "%u", us->u.passive.listen_iref);
+        snprintf(str, 128, "%"PRIuIREF, us->u.passive.listen_iref);
         err = vfs_write(us->vfs_handle, str, strlen(str), NULL);
         if(err_is_fail(err)) {
             USER_PANIC_ERR(err, "vfs_write");
index 54fba39..bdb274c 100644 (file)
@@ -23,7 +23,7 @@ import qualified CAbsSyntax as C
 
 
 -- handle printing of error values
-ahci_err_fmt = C.NStr "PRIxPTR"
+ahci_err_fmt = C.NStr "PRIxERRV"
 ahci_printf_error msg err = C.Ex $ C.Call "printf" [fmt, err]
     where fmt = C.StringCat [C.QStr (msg ++ ": 0x%"), ahci_err_fmt, C.QStr "\n"]
 
index be80093..9181e00 100644 (file)
@@ -61,7 +61,7 @@ static void process_pending_lookups(void)
         ref = get_service_reference(p->iface);
         if (ref != NULL) { // found entry: reply and remove from queue
             assert(p != NULL);
-            printf("%d chips: notifying client about %s\n", disp_get_domain_id(), p->iface);
+            printf("%"PRIuDOMAINID" chips: notifying client about %s\n", disp_get_domain_id(), p->iface);
             err = p->b->tx_vtbl.wait_for_service_reference_response(p->b,
                                 NOP_CONT, (nameservice_srvref_t)(uintptr_t)ref);
             assert(err_is_ok(err)); // XXX
@@ -178,7 +178,7 @@ static void wait_for_service_reference_handler(
 
     // if we didn't find anything, add it to the pending lookups queue
     if (ref == NULL) {
-        printf("%d chips: client waiting for %s\n", disp_get_domain_id(), iface);
+        printf("%"PRIuDOMAINID" chips: client waiting for %s\n", disp_get_domain_id(), iface);
         struct pending_lookup *pending = malloc(sizeof(struct pending_lookup));
         assert(pending != NULL);
         pending->iface = iface;
@@ -327,7 +327,7 @@ static void sem_new_handler(struct nameservice_binding *b, uint32_t value)
     }
 
     if(i != MAX_SEM) {
-      printf("chips: sem_new(%d, %u)\n", i, value);
+      printf("chips: sem_new(%d, %"PRIu32")\n", i, value);
         sems[i].value = value;
        // sems[i].holder = NULL;
     } else {
index e9cb5af..048fb4d 100644 (file)
@@ -39,7 +39,7 @@ static errval_t vbe_to_errval(uint32_t retval)
     if (retval == VBE_OK) {
         return SYS_ERR_OK;
     } else { // what do the error codes mean?
-        fprintf(stderr, "vbe: VBE BIOS call failed with code 0x%x\n", retval);
+        fprintf(stderr, "vbe: VBE BIOS call failed with code 0x%"PRIx32"\n", retval);
         return VBE_ERR_BIOS_CALL_FAILED;
     }
 }
index 1fdb7e3..27c13b7 100644 (file)
@@ -142,7 +142,7 @@ errval_t vbe_get_framebuffer_cap(struct capref *cap, size_t *retoffset)
     size_t fbsize = (size_t)mib.xresolution * mib.yresolution
                     * (mib.bitsperpixel / 8);
 
-    printf("vbe: looking for BAR cap with PA %zx-%zx\n",
+    printf("vbe: looking for BAR cap with PA %"PRIuLPADDR"-%"PRIuLPADDR"\n",
            fbphys, fbphys + fbsize);
 
     for(int i = 0; i < nbars; i++) {
index 6d1a144..b2cf181 100644 (file)
@@ -376,7 +376,7 @@ errval_t percore_allocate_handler_common(uint8_t bits,
 
     if (err_is_fail(ret)) {
         // debug_printf("percore_alloc(%d (%lu)) failed\n", bits, 1UL << bits);
-               printf("[%d][%d] percore_alloc failed, going to steal\n",
+               printf("[%d][%"PRIuDOMAINID"] percore_alloc failed, going to steal\n",
                                        disp_get_core_id(), disp_get_domain_id());
         try_steal(&ret, &cap, bits, minbase, maxlimit);
     }
index b621f70..5cc8d8b 100644 (file)
@@ -236,7 +236,7 @@ static errval_t steal_and_alloc(struct capref *ret_cap, uint8_t steal_bits,
 void try_steal(errval_t *ret, struct capref *cap, uint8_t bits,
                genpaddr_t minbase, genpaddr_t maxlimit)
 {
-    printf("[%d][%d]: failed percore alloc request: bits: %d going to STEAL\n",
+    printf("[%d][%"PRIuDOMAINID"]: failed percore alloc request: bits: %d going to STEAL\n",
             disp_get_core_id(), disp_get_domain_id(), bits);
        printf("%p %p %p %p %p %p\n",   __builtin_return_address(0),
                                                                        __builtin_return_address(1),
index 8393b06..f44bf89 100644 (file)
@@ -317,7 +317,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
 
         if (*prt->Source == 0) {
             /* this is a global interrupt number */
-            skb_add_fact("prt(addr(%u, %u, _), %u, gsi(%u)).",
+            skb_add_fact("prt(addr(%u, %u, _), %"PRIu32", gsi(%"PRIu32")).",
                          bus, device, prt->Pin, prt->SourceIndex);
             continue;
         }
@@ -339,7 +339,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
                 esource[++j] = '\\';
             }
         }
-        skb_add_fact("prt(addr(%u, %u, _), %u, pir(\"%s\")).",
+        skb_add_fact("prt(addr(%u, %u, _), %"PRIu32", pir(\"%s\")).",
                      bus, device, prt->Pin, esource);
 
 #ifdef PCI_SERVICE_DEBUG /* debug code to dump resources */
@@ -396,7 +396,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
                 //printf("Extended IRQs:");
                 for (int i = 0; i < irqres->InterruptCount; i++) {
                     //printf(" %d", irqres->Interrupts[i]);
-                    skb_add_fact("pir(\"%s\", %u).",
+                    skb_add_fact("pir(\"%s\", %"PRIu32").",
                                  esource, irqres->Interrupts[i]);
                 }
                 //printf("\n");
@@ -404,7 +404,7 @@ static void get_irq_routing(ACPI_HANDLE handle, uint8_t bus)
             }
 
             default:
-                printf("Unknown resource type: %d\n", res->Type);
+                printf("Unknown resource type: %"PRIu32"\n", res->Type);
                 USER_PANIC("NYI");
                 break;
             }
@@ -656,11 +656,11 @@ static void process_srat(ACPI_TABLE_SRAT *srat)
                         a->ProximityDomainLo;
 
                     PCI_DEBUG("CPU affinity table:\n");
-                    PCI_DEBUG("Proximity Domain: %d\n", proximitydomain);
+                    PCI_DEBUG("Proximity Domain: %"PRIu32"\n", proximitydomain);
                     PCI_DEBUG("CPU local APIC ID: %d\n", a->ApicId);
                     PCI_DEBUG("CPU local SAPIC EID: %d\n", a->LocalSapicEid);
 
-                    skb_add_fact("cpu_affinity(%d,%d,%d).",
+                    skb_add_fact("cpu_affinity(%d,%d,%"PRIu32").",
                         a->ApicId, a->LocalSapicEid, proximitydomain);
                 } else {
                     PCI_DEBUG("CPU affinity table disabled!\n");
@@ -693,7 +693,7 @@ static void process_srat(ACPI_TABLE_SRAT *srat)
                               hotpluggable ? " Hot-pluggable" : "",
                               nonvolatile ? " Non-volatile" : "");
 
-                    skb_add_fact("memory_affinity(%" PRIu64 ", %" PRIu64 ", %d).",
+                    skb_add_fact("memory_affinity(%" PRIu64 ", %" PRIu64 ", %"PRIu32").",
                         a->BaseAddress, a->Length, a->ProximityDomain);
 
                 } else {
@@ -769,7 +769,7 @@ int init_acpi(void)
     PCI_DEBUG("Reserving fixed resources\n");
     as = AcpiGetDevices("PNP0C02", reserve_resources, NULL, NULL);
     if (ACPI_FAILURE(as) && as != AE_NOT_FOUND) {
-        printf("WARNING: AcpiGetDevices failed with error %d\n", as);
+        printf("WARNING: AcpiGetDevices failed with error %"PRIu32"\n", as);
     }
     assert(ACPI_SUCCESS(as) || as == AE_NOT_FOUND);
 
index 0ed7405..a299933 100644 (file)
@@ -938,7 +938,7 @@ AcpiOsStall (
     if (microseconds)
     {
         // print something to slow us down ;)
-        printf("Warning: AcpiOsStall(%u) NYI, ignored\n", microseconds);
+        printf("Warning: AcpiOsStall(%"PRIu32") NYI, ignored\n", microseconds);
     }
     return;
 }
index 635396f..ea0fce8 100644 (file)
@@ -45,7 +45,7 @@ static uint32_t power_button_handler(void *arg)
 static void power_button_notify_handler(ACPI_HANDLE handle, uint32_t value,
                                         void *context)
 {
-    printf("Power button notify 0x%x\n", value);
+    printf("Power button notify 0x%"PRIx32"\n", value);
     if (value == 0x80) { // switch off!
         power_button_handler(context);
     }
index cc6a795..ae5ec13 100644 (file)
@@ -184,7 +184,7 @@ int init_all_apics(void)
                        s->ProcessorId, s->Id,
                        s->LapicFlags & ACPI_MADT_ENABLED);
 
-                skb_add_fact("apic(%d,%d,%d).",
+                skb_add_fact("apic(%d,%d,%"PRIu32").",
                        s->ProcessorId, s->Id,
                        s->LapicFlags & ACPI_MADT_ENABLED);
 
@@ -203,8 +203,8 @@ int init_all_apics(void)
                 PCI_DEBUG("Found I/O APIC: ID = %d, mem base = 0x%x, "
                        "INTI base = %d\n", s->Id, s->Address, s->GlobalIrqBase);
 
-                skb_add_fact("ioapic(%d,%u,%d).", s->Id, s->Address, s->GlobalIrqBase);
-                skb_add_fact("memory_region(%u,%u,%zu, %u,%u).",
+                skb_add_fact("ioapic(%d,%"PRIu32",%"PRIu32").", s->Id, s->Address, s->GlobalIrqBase);
+                skb_add_fact("memory_region(%"PRIu32",%u,%zu, %u,%u).",
                              s->Address,
                              BASE_PAGE_BITS, //as used elswhere in acpi.c
                              ((size_t)1) << BASE_PAGE_BITS, //as used elswhere in acpi.c
@@ -229,7 +229,7 @@ int init_all_apics(void)
                        "GSI = %d, flags = %x\n", s->Bus, s->SourceIrq,
                        s->GlobalIrq, s->IntiFlags);
 
-                skb_add_fact("interrupt_override(%d,%d,%d,%d).",
+                skb_add_fact("interrupt_override(%d,%d,%"PRIu32",%d).",
                             s->Bus, s->SourceIrq, s->GlobalIrq, s->IntiFlags);
 
                 // ACPI spec says these are only for ISA interrupts
index 8035694..b02f09a 100644 (file)
@@ -218,42 +218,42 @@ errval_t device_init(bool enable_irq, uint8_t coreid, int vector,
     pcisize_t bar_size;
 
     if (*bus != PCI_DONT_CARE) {
-        snprintf(s_bus, sizeof(s_bus), "%u", *bus);
+        snprintf(s_bus, sizeof(s_bus), "%"PRIu32, *bus);
     } else {
         strncpy(s_bus, "Bus", sizeof(s_bus));
     }
     if (*dev != PCI_DONT_CARE) {
-        snprintf(s_dev, sizeof(s_dev), "%u", *dev);
+        snprintf(s_dev, sizeof(s_dev), "%"PRIu32, *dev);
     } else {
         strncpy(s_dev, "Dev", sizeof(s_dev));
     }
     if (*fun != PCI_DONT_CARE) {
-        snprintf(s_fun, sizeof(s_fun), "%u", *fun);
+        snprintf(s_fun, sizeof(s_fun), "%"PRIu32, *fun);
     } else {
         strncpy(s_fun, "Fun", sizeof(s_fun));
     }
     if (vendor_id != PCI_DONT_CARE) {
-        snprintf(s_vendor_id, sizeof(s_vendor_id), "%u", vendor_id);
+        snprintf(s_vendor_id, sizeof(s_vendor_id), "%"PRIu32, vendor_id);
     } else {
         strncpy(s_vendor_id, "Ven", sizeof(s_vendor_id));
     }
     if (device_id != PCI_DONT_CARE) {
-        snprintf(s_device_id, sizeof(s_device_id), "%u", device_id);
+        snprintf(s_device_id, sizeof(s_device_id), "%"PRIu32, device_id);
     } else {
         strncpy(s_device_id, "DevID", sizeof(s_device_id));
     }
     if (class_code != PCI_DONT_CARE) {
-        snprintf(s_class_code, sizeof(s_class_code), "%u", class_code);
+        snprintf(s_class_code, sizeof(s_class_code), "%"PRIu32, class_code);
     } else {
         strncpy(s_class_code, "Cl", sizeof(s_class_code));
     }
     if (sub_class != PCI_DONT_CARE) {
-        snprintf(s_sub_class, sizeof(s_sub_class), "%u", sub_class);
+        snprintf(s_sub_class, sizeof(s_sub_class), "%"PRIu32, sub_class);
     } else {
         strncpy(s_sub_class, "Sub", sizeof(s_sub_class));
     }
     if (prog_if != PCI_DONT_CARE) {
-        snprintf(s_prog_if, sizeof(s_prog_if), "%u", prog_if);
+        snprintf(s_prog_if, sizeof(s_prog_if), "%"PRIu32, prog_if);
     } else {
         strncpy(s_prog_if, "ProgIf", sizeof(s_prog_if));
     }
@@ -281,7 +281,8 @@ errval_t device_init(bool enable_irq, uint8_t coreid, int vector,
         return PCI_ERR_DEVICE_INIT;
     }
 
-    err = skb_read_output("d(%[a-z], %u, %u, %u, %u, %u, %u, %u, %u).",
+    err = skb_read_output("d(%[a-z], %"PRIu32", %"PRIu32", %"PRIu32", %"PRIu32
+                          ",%"PRIu32", %"PRIu32", %"PRIu32", %"PRIu32").",
                     s_pcie, bus, dev, fun, &vendor_id,
                     &device_id, &class_code, &sub_class, &prog_if);
 
@@ -302,7 +303,8 @@ errval_t device_init(bool enable_irq, uint8_t coreid, int vector,
                 *bus, *dev, *fun);
 //get the implemented BARs for the found device
     error_code = skb_execute_query(
-        "pci_get_implemented_BAR_addresses(%u,%u,%u,%u,%u,%u,%u,%u,L),"
+        "pci_get_implemented_BAR_addresses(%"PRIu32",%"PRIu32",%"PRIu32
+        ",%"PRIu32",%"PRIu32",%"PRIu32",%"PRIu32",%"PRIu32",L),"
         "length(L,Len),writeln(L)",
         *bus, *dev, *fun, vendor_id, device_id, class_code, sub_class, prog_if);
 
@@ -1042,7 +1044,8 @@ static uint32_t setup_interrupt(uint32_t bus, uint32_t dev, uint32_t fun)
     char str[256], ldev[128];
 
     snprintf(str, 256,
-             "[\"irq_routing.pl\"], assigndeviceirq(addr(%u, %u, %u)).",
+             "[\"irq_routing.pl\"], assigndeviceirq(addr(%"PRIu32
+             ", %"PRIu32", %"PRIu32")).",
              bus, dev, fun);
     char *output, *error_out;
     int32_t int_err;
@@ -1089,7 +1092,7 @@ static uint32_t setup_interrupt(uint32_t bus, uint32_t dev, uint32_t fun)
         break;
 
     default:
-        printf("Unknown resource type: %d\n", res->Type);
+        printf("Unknown resource type: %"PRIu32"\n", res->Type);
         USER_PANIC("NYI");
     }
 
index 1bcec5a..a093ff5 100644 (file)
@@ -205,7 +205,7 @@ static void reset_handler(struct pci_binding *b)
         printf("Resetting machine via ACPI...\n");
         ACPI_STATUS as = AcpiReset();
         if (ACPI_FAILURE(as)) {
-            printf("ACPI reset failed: 0x%x\n", as);
+            printf("ACPI reset failed: 0x%"PRIx32"\n", as);
         }
     }
 
@@ -218,7 +218,7 @@ static void reset_handler(struct pci_binding *b)
 
 static void sleep_handler(struct pci_binding *b, int32_t state)
 {
-    printf("Entering S%d sleep state via ACPI...\n", state);
+    printf("Entering S%"PRIu32" sleep state via ACPI...\n", state);
     ACPI_STATUS as = AcpiEnterSleepStatePrep(state);
     if (!ACPI_SUCCESS(as)) {
         printf("AcpiEnterSleepStatePrep failed\n");
index efeb156..fa559c7 100644 (file)
@@ -63,12 +63,12 @@ static const char *shortstr = "Hello, world!";
 
 static void rx_basic(struct test_binding *b, uint32_t arg)
 {
-    printf("rx_basic %u\n", arg);
+    printf("rx_basic %"PRIu32"\n", arg);
 }
 
 static void rx_str(struct test_binding *b, uint32_t arg, char *s)
 {
-    printf("rx_str %u '%s'\n", arg, s);
+    printf("rx_str %"PRIu32" '%s'\n", arg, s);
     free(s);
 }
 
@@ -80,7 +80,7 @@ static void rx_caps(struct test_binding *b, uint32_t arg,
     debug_print_cap_at_capref(buf2, sizeof(buf2), cap2);
     buf1[sizeof(buf1) - 1] = '\0';
     buf2[sizeof(buf2) - 1] = '\0';
-    printf("rx_caps %u [%s] [%s]\n", arg, buf1, buf2);
+    printf("rx_caps %"PRIu32" [%s] [%s]\n", arg, buf1, buf2);
 }
 
 static void rx_buf(struct test_binding *b, uint8_t *buf, size_t buflen)
@@ -233,7 +233,7 @@ static void start_client(void)
         USER_PANIC_ERR(err, "nameservice_blocking_lookup failed");
     }
 
-    printf("client binding to %u...\n", iref);
+    printf("client binding to %"PRIuIREF"...\n", iref);
     err = test_bind(iref, bind_cb, NULL /* state pointer for bind_cb */,
                     get_default_waitset(), IDC_BIND_FLAGS_DEFAULT);
     if (err_is_fail(err)) {
@@ -249,7 +249,7 @@ static void export_cb(void *st, errval_t err, iref_t iref)
         USER_PANIC_ERR(err, "export failed");
     }
 
-    printf("service exported at iref %u\n", iref);
+    printf("service exported at iref %"PRIuIREF"\n", iref);
 
     // register this iref with the name service
     err = nameservice_register(my_service_name, iref);
index b5d3949..97e029a 100644 (file)
@@ -178,7 +178,7 @@ static void rx_basic(struct test_binding *b, uint32_t arg)
     if (arg != 7) {
         USER_PANIC("received wrong argument in \"basic\" message!\n");
     }
-    printf("%s rx_basic %u\n", get_role_name(), arg);
+    printf("%s rx_basic %"PRIu32"\n", get_role_name(), arg);
 }
 
 static void rx_str(struct test_binding *b, uint32_t arg, char *s)
@@ -189,7 +189,7 @@ static void rx_str(struct test_binding *b, uint32_t arg, char *s)
         USER_PANIC("received wrong argument in \"str\" message!\n");
     }
 
-    printf("%s rx_str %u '%s'\n", get_role_name(), arg, s);
+    printf("%s rx_str %"PRIu32" '%s'\n", get_role_name(), arg, s);
     free(s);
 }
 
@@ -209,7 +209,7 @@ static void rx_caps(struct test_binding *b, uint32_t arg, struct capref cap1,
     buf2[sizeof(buf2) - 1] = '\0';
     cap_destroy(cap1);
     cap_destroy(cap2);
-    printf("%s rx_caps %u [%s] [%s]\n", get_role_name(), arg, buf1, buf2);
+    printf("%s rx_caps %"PRIu32" [%s] [%s]\n", get_role_name(), arg, buf1, buf2);
 }
 
 static void rx_buf(struct test_binding *b, uint8_t *buf, size_t buflen)
@@ -281,7 +281,7 @@ static void start_client(void)
         USER_PANIC_ERR(err, "nameservice_blocking_lookup failed");
     }
 
-    printf("client binding to %u...\n", iref);
+    printf("client binding to %"PRIuIREF"...\n", iref);
     /**
      * We don't use the flounder bind function here to
      * enforce a binding over the multi-hop interconnect driver.
@@ -313,7 +313,7 @@ static void export_cb(void *st, errval_t err, iref_t iref)
         USER_PANIC_ERR(err, "export failed");
     }
 
-    printf("service exported at iref %u\n", iref);
+    printf("service exported at iref %"PRIuIREF"\n", iref);
 
     // register this iref with the name service
     err = nameservice_register(my_service_name, iref);
index bc71094..ccee82c 100644 (file)
@@ -465,7 +465,7 @@ static void server_work(void) {
                              get_default_waitset(),
                              IDC_EXPORT_FLAGS_DEFAULT,
                              &iref);
-  printf("Done export iref=%d\n", iref);
+  printf("Done export iref=%"PRIuIREF"\n", iref);
   if (err_is_fail(err)) {
     DEBUG_ERR(err, "export failed");
     abort();
index 348a9e5..6373eae 100644 (file)
@@ -109,7 +109,7 @@ static void server_work(void) {
                              get_default_waitset(),
                              IDC_EXPORT_FLAGS_DEFAULT,
                              &iref);
-  debug_printf("Done export iref=%d\n", iref);
+  debug_printf("Done export iref=%"PRIuIREF"\n", iref);
   if (err_is_fail(err)) {
     DEBUG_ERR(err, "export failed");
     abort();
index 1eb4317..979dab1 100644 (file)
@@ -102,7 +102,7 @@ static void export_cb(void *st, errval_t err, iref_t iref)
         abort();
     }
 
-    printf("xcorecapserv: service exported at iref %u\n", iref);
+    printf("xcorecapserv: service exported at iref %"PRIuIREF"\n", iref);
     fflush(stdout);
     // register this iref with the name service
     err = nameservice_register(my_service_name, iref);