/barrelfish-master/lib/x86emu/ |
H A D | debug.c | 63 printk("%04x:%04x ",M.x86.saved_cs, M.x86.saved_ip); 82 printk("%04x:%04x ",M.x86.saved_cs, M.x86.saved_ip); 193 printk("%-20s",buf1); 198 printk("%s", M.x86.decoded_buf); 208 printk("%04x:%04x ", seg, off); 220 printk("%04x:%04x ", seg, start); 222 printk(" "); 224 printk("%02x ", fetch_data_byte_abs(seg,i)); 225 printk("\n"); 259 printk(" [all...] |
H A D | validate.c | 87 printk("fail\n"); \ 88 printk("0x%02X = %-15s(0x%02X,0x%02X), flags = %s -> %s\n", \ 90 printk("0x%02X = %-15s(0x%02X,0x%02X), flags = %s -> %s\n", \ 95 printk("fail\n"); \ 96 printk("0x%04X = %-15s(0x%04X,0x%04X), flags = %s -> %s\n", \ 98 printk("0x%04X = %-15s(0x%04X,0x%04X), flags = %s -> %s\n", \ 103 printk("fail\n"); \ 104 printk("0x%08X = %-15s(0x%08X,0x%08X), flags = %s -> %s\n", \ 106 printk("0x%08X = %-15s(0x%08X,0x%08X), flags = %s -> %s\n", \ 122 printk("passe 594 void printk(const char *fmt, ...) function [all...] |
H A D | sys.c | 73 DB(printk("mem_read: address %#lx out of range!\n", addr);) 78 printk("%#08x 1 -> %#x\n", addr, val);) 98 DB(printk("mem_read: address %#lx out of range!\n", addr);) 110 printk("%#08x 2 -> %#x\n", addr, val);) 129 DB(printk("mem_read: address %#lx out of range!\n", addr);) 143 printk("%#08x 4 -> %#x\n", addr, val);) 160 printk("%#08x 1 <- %#x\n", addr, val);) 162 DB(printk("mem_write: address %#lx out of range!\n", addr);) 181 printk("%#08x 2 <- %#x\n", addr, val);) 183 DB(printk("mem_writ [all...] |
/barrelfish-master/kernel/arch/armv8/ |
H A D | exn.c | 41 printk(LOG_DEBUG, "user page fault%s in '%.*s': addr %"PRIxLVADDR 57 printk(LOG_WARN, "handle_user_page_fault: too many faults, " 114 printk(LOG_WARN, "user undef fault (0x%lx)%s in '%.*s': IP 0x%lx x29:%lx x30:%lx sp:%lx\n", 215 printk(LOG_NOTE, "ARMv8-A: Timer interrupt received!\n"); 313 printk(LOG_PANIC, "Fatal (unexpected) fault at 0x%"PRIx64 " (%#" PRIx64 ")\n\n", epc, epc - (uintptr_t)&kernel_first_byte); 314 printk(LOG_PANIC, "Register context saved at: %p\n", save_area); 315 printk(LOG_PANIC, "Vector: "); 318 printk(LOG_PANIC, "UNDEF\n"); 321 printk(LOG_PANIC, "EL0_SYNC\n"); 324 printk(LOG_PANI [all...] |
/barrelfish-master/kernel/include/ |
H A D | kcb.h | 88 printk(LOG_DEBUG, "kcb contents:\n"); 89 printk(LOG_DEBUG, " next = %p, prev = %p\n", 91 printk(LOG_DEBUG, " mdb_root = 0x%"PRIxLVADDR"\n", kcb_current->mdb_root); 92 printk(LOG_DEBUG, " queue_head = %p\n", kcb_current->queue_head); 93 printk(LOG_DEBUG, " queue_tail = %p\n", kcb_current->queue_tail); 94 printk(LOG_DEBUG, " wakeup_queue_head = %p\n", kcb_current->wakeup_queue_head); 95 printk(LOG_DEBUG, " u_hrt = %u, u_srt = %u, w_be = %u, n_be = %u\n",
|
H A D | paging_kernel_helper.h | 44 printk(LOG_WARN, "Given paddr %" PRIxLPADDR " unaligned to system "
|
H A D | logging.h | 69 void printk(int level, const char *msg, ...) 102 printk(LOG_DEBUG, _fmt, ## __VA_ARGS__); \
|
/barrelfish-master/kernel/arch/arm/ |
H A D | gic_v3.c | 45 printk(LOG_NOTE, "GICv3: Initializing\n"); 50 printk(LOG_NOTE, "GICD IIDR " 62 printk(LOG_NOTE, "gic: #INTIDs supported: %" PRIu32 "\n", itlines); 81 printk(LOG_NOTE, "GICv3: Initialized\n"); 121 printk(LOG_NOTE, "GICv3: Enabling CPU interface\n"); 154 printk(LOG_NOTE, "GICv3: CPU interface enabled\n");
|
H A D | gic_v2.c | 52 // printk(LOG_NOTE, "gic_v2: Error condition! Status: %s\n", buf); 66 printk(LOG_NOTE, "GICv2: Initializing\n"); 76 printk(LOG_NOTE, "gic_v2: In init. GIC supports secure mode\n"); 78 printk(LOG_NOTE, "gic_v2: In init. GIC does not support secure mode\n"); 122 printk(LOG_NOTE, "gic_v2: GICC IIDR " 160 printk(LOG_NOTE, "gic_v2: GICD IIDR " 174 printk(LOG_NOTE, "gic_v2: #INTIDs supported: %" PRIu32 "\n", itlines); 177 printk(LOG_NOTE, "gic_v2: #LSPIs supported: %" PRIu32 "\n", lspi);
|
H A D | irq.c | 98 printk(LOG_WARN, "irq: vec_hint must be provided on ARM\n", vec_hint); 102 printk(LOG_WARN, "irq: vec_hint (%d) invalid\n", vec_hint); 135 printk(LOG_DEBUG, "%.*s: IRQ message buffer overflow\n", 138 printk(LOG_ERR, "Unexpected error delivering IRQ\n"); 162 printk(LOG_WARN, "unhandled IRQ %d\n", irq); 174 printk(LOG_DEBUG, "%.*s: IRQ message buffer overflow\n", 177 printk(LOG_ERR, "Unexpected error delivering IRQ\n");
|
H A D | exn.c | 48 printk(LOG_WARN, "user page fault%s in '%.*s': addr %"PRIxLVADDR 61 printk(LOG_WARN, "handle_user_page_fault: too many faults, " 114 printk(LOG_WARN, "user undef fault%s in '%.*s': IP %p\n", 160 printk(LOG_PANIC, "\n"); 161 printk(LOG_PANIC, "Kernel fault at %08"PRIxLVADDR 163 printk(LOG_PANIC, "Processor save_area at: %p\n", save_area); 189 printk(LOG_PANIC, "r%d\t%08"PRIx32"%s\n", i, save_area->regs[R0_REG + i], extrainfo); 191 printk(LOG_PANIC, "cpsr\t%08"PRIx32"\n", save_area->regs[CPSR_REG]); 192 printk(LOG_PANIC, "called from: #%08"PRIx32"\n", 325 printk(LOG_NOT [all...] |
H A D | rpi3_miniuart.c | 24 #define MSG(format, ...) printk( LOG_NOTE, "rpi3_miniuart: "format, ## __VA_ARGS__ )
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | exec.c | 36 printk(LOG_NOTE, "Rebooting...\n"); 46 printk(LOG_NOTE, "PCI reset failed, trying keyboard controller\n"); 54 printk(LOG_NOTE, "Keyboard controller reset failed, trying triple fault\n"); 72 printk(LOG_PANIC,
|
/barrelfish-master/kernel/ |
H A D | sys_debug.c | 82 // printk(LOG_NOTE, "cte=%p\n", cte); 89 printk(LOG_ERR, "Type of cap: %d, kernel address %p, phys. address 0x%"PRIxLPADDR"\n", cte->cap.type, cte, mem_to_local_phys((lvaddr_t) cte)); 90 printk(LOG_ERR, "kcb_current = %p\n", kcb_current); 91 printk(LOG_ERR, "%s:%s:%d \n", __FILE__, __FUNCTION__, __LINE__); 106 printk(LOG_ERR, "Type of cap: %d\n", cte->cap.type); 107 printk(LOG_ERR, "%s:%s:%d \n", __FILE__, __FUNCTION__, __LINE__); 122 printk(LOG_NOTE, "disp->name=%s %s\n", disp->name, buffer);
|
H A D | timer.c | 37 printk(LOG_WARN, "********* %s:%s() timer == TIMER_INF\n", __FILE__, __FUNCTION__);
|
H A D | microbenchmarks.c | 49 printk(LOG_NOTE, "Running benchmark %zu/%zu: %s\n", i + 1, nbenchs, 54 printk(LOG_ERR, "%s: Error %d running %s\n", __func__, r, mb->name);
|
H A D | kcb.c | 88 printk(LOG_NOTE, "[sched] updating current core id to %d for %s\n", 101 printk(LOG_NOTE, "[wakeup] updating current core id to %d for %s\n", 111 printk(LOG_NOTE, "[irq] updating current core id to %d for %s\n",
|
/barrelfish-master/kernel/arch/x86/ |
H A D | misc.c | 40 printk(LOG_NOTE, "Waiting %" PRIu64 " cycles...\n", duration);
|
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | fmr_pool.c | 153 printk(KERN_WARNING PFX "Unmapping FMR %p with ref count %d\n", 170 printk(KERN_WARNING PFX "ib_unmap_fmr returned %d\n", ret); 226 printk(KERN_INFO PFX "Device %s does not support FMRs\n", 233 printk(KERN_WARNING PFX "couldn't allocate device attr struct\n"); 239 printk(KERN_WARNING PFX "couldn't query device: %d\n", ret); 253 printk(KERN_WARNING PFX "couldn't allocate pool struct\n"); 270 printk(KERN_WARNING PFX "Failed to allocate cache in pool\n"); 294 printk(KERN_WARNING PFX "couldn't start cleanup thread\n"); 314 printk(KERN_WARNING PFX "failed to allocate fmr " 326 printk(KERN_WARNIN [all...] |
/barrelfish-master/kernel/arch/x86_64/ |
H A D | gdb_arch.c | 98 printk(LOG_NOTE, 106 printk(LOG_WARN, "BIG FAT WARNING: kernel stack pointer (0x%lx) is " 108 printk(LOG_WARN, "Boldly attempting to continue into GDB anyway...\n");
|
H A D | exec.c | 37 printk(LOG_NOTE, "Rebooting...\n"); 47 printk(LOG_NOTE, "PCI reset failed, trying keyboard controller\n"); 55 printk(LOG_NOTE, "Keyboard controller reset failed, trying triple fault\n"); 73 printk(LOG_PANIC,
|
H A D | irq.c | 437 printk(LOG_WARN, "unhandled IRQ %d\n", irq); 444 printk(LOG_WARN, "receiver type > %d, %d, assume unhandled\n", ObjType_Num, cap->type); 464 printk(LOG_WARN, "%.*s: IRQ message buffer overflow on IRQ %d\n", 467 printk(LOG_ERR, "Unexpected error delivering IRQ\n"); 488 printk(LOG_WARN, "irq_table_alloc is deprecated\n"); 521 printk(LOG_WARN, "irq: vec_hint not supported on x86\n"); 560 //printk(LOG_NOTE, "irq: Allocated cap for vec: %d\n", i); 599 //printk(LOG_NOTE, "irq: connected vec: %"PRIu64"\n", dest_vec); 608 printk(LOG_ERR, "Used deprecated irq_table_set. Not setting interrupt\n"); 614 printk(LOG_ER [all...] |
/barrelfish-master/kernel/arch/armv7/ |
H A D | omap44xx_spinlock.c | 23 #define MSG(format, ...) printk( LOG_NOTE, "OMAP44xx spinlock: "format, ## __VA_ARGS__ )
|
H A D | a9_scu.c | 30 #define MSG(format, ...) printk( LOG_NOTE, "CortexA9 SCU: "format, ## __VA_ARGS__ )
|
H A D | plat_a9mpcore.c | 30 printk( LOG_NOTE, "CortexA9 platform: "format, ## __VA_ARGS__ ) 94 printk(LOG_ERR,
|