/barrelfish-master/kernel/arch/armv7/ |
H A D | plat_zynq7.c | 35 #define MSG(format, ...) printk( LOG_NOTE, "ZYNQ7: "format, ## __VA_ARGS__ )
|
H A D | syscall.c | 244 printk(LOG_NOTE, "type = %d, bytes = %d\n", type, objsize); 245 printk(LOG_NOTE, "destcn=%"PRIxCADDR", dest_level=%d, dest_slot=%d\n", 364 printk(LOG_NOTE, "%s: caps_lookup_slot: %ld\n", __FUNCTION__, err); 370 printk(LOG_NOTE, "%s: page_mappings_unmap: %ld\n", __FUNCTION__, err); 1281 printk(LOG_ERR, "Bad invocation type %d cmd %d\n", to->type, cmd); 1334 printk(LOG_ERR, "invalid sys_debug msg type %d\n", msg);
|
H A D | paging.c | 24 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ ) 597 printk(LOG_ERR, "%s: mdb_insert: %"PRIuERRV"\n", __FUNCTION__, err); 647 printk(LOG_ERR, "%s called on ARMv7: NYI!\n", __FUNCTION__); 704 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
|
H A D | init.c | 46 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
|
H A D | boot_driver.c | 27 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | svm_vmkit.c | 98 printk(LOG_WARN, "VMKit: Unable to enable SVM although the hardware " 330 printk(LOG_ERR, "Unexpected error delivering VMEXIT");
|
H A D | syscall.c | 377 printk(LOG_NOTE, "%s: looking up cte for src mcn0 (%#"PRIxCADDR"): %d\n", 388 printk(LOG_NOTE, "%s: looking up cte for src mcn1 (%#"PRIxCADDR"): %d\n", 400 printk(LOG_NOTE, "%s: looking up cte for dest mcn0 (%#"PRIxCADDR"): %d\n", 411 printk(LOG_NOTE, "%s: looking up cte for dest mcn1 (%#"PRIxCADDR"): %d\n", 1263 // printk(LOG_DEBUG, "%s:%s:%d: destination=%"PRIuCOREID"\n", 1278 // printk(LOG_DEBUG, "%s:%d: destination=%"PRIuCOREID" start_vector=%"PRIxGENVADDR"\n", 1310 printk(LOG_NOTE, "in kernel_remove_kcb invocation!\n"); 1320 printk(LOG_NOTE, "in kernel_suspend_kcb_sched invocation!\n"); 1587 //printk(LOG_NOTE, "sys_invoke(0x%x(%d), 0x%lx)\n", 1711 // printk(LOG_NOT [all...] |
H A D | vmx_vmkit.c | 511 printk(LOG_NOTE, "assertion failed! 0x%lx >= 0x%lx\n", 970 printk(LOG_ERR, "Unexpected error delivering VMEXIT"); 981 printk(LOG_NOTE, "dumping page tables rooted at 0x%"PRIxLPADDR"\n", root_pt_phys); 1093 //printk(LOG_NOTE, "setting EPTP_F to 0x%lx\n", eptp_root); 1095 printk(LOG_NOTE, "setting EPTP_F to 0x%lx\n", eptp_root); 1100 printk(LOG_NOTE, "setting GUEST_CR3 to 0x%lx\n", dcb->vspace); 1105 printk(LOG_NOTE, "doing INVEPT\n"); 1130 //printk(LOG_NOTE, "VMEXIT\n"); 1135 //printk(LOG_NOTE, "vmx exit reason: %u\n", exit_reason); 1160 //printk(LOG_NOT [all...] |
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/core/ |
H A D | uverbs_main.c | 936 printk(KERN_ERR "user_verbs: couldn't register device number\n"); 943 printk(KERN_ERR "user_verbs: couldn't create class infiniband_verbs\n"); 949 printk(KERN_ERR "user_verbs: couldn't create abi_version attribute\n"); 956 printk(KERN_ERR "user_verbs: couldn't register infinibandeventfs\n"); 963 printk(KERN_ERR "user_verbs: couldn't mount infinibandeventfs\n"); 970 printk(KERN_ERR "user_verbs: couldn't register client\n");
|
H A D | user_mad.c | 681 printk(KERN_WARNING "user_mad: process %s did not enable " 683 printk(KERN_WARNING "user_mad: Documentation/infiniband/user_mad.txt " 1181 printk(KERN_ERR "user_mad: couldn't register device number\n"); 1188 printk(KERN_ERR "user_mad: couldn't create class infiniband_mad\n"); 1194 printk(KERN_ERR "user_mad: couldn't create abi_version attribute\n"); 1200 printk(KERN_ERR "user_mad: couldn't register ib_umad client\n");
|
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/ |
H A D | mthca_mr.c | 488 printk("[%02x] ", i * 4); 489 printk(" %08x", be32_to_cpu(((__be32 *) mpt_entry)[i])); 491 printk("\n"); 663 printk("[%02x] ", i * 4); 664 printk(" %08x", be32_to_cpu(((__be32 *) mpt_entry)[i])); 666 printk("\n");
|
H A D | mthca_cmd.c | 1754 printk(" %08x\n", be32_to_cpup(mailbox->buf)); 1757 printk("[%02x] ", i * 4); 1758 printk(" %08x", 1761 printk("\n"); 1771 printk(" opt param mask: %08x\n", be32_to_cpup(mailbox->buf)); 1774 printk(" [%02x] ", i * 4); 1775 printk(" %08x", 1778 printk("\n");
|
H A D | mthca_av.c | 227 printk(KERN_DEBUG " [%2x] %08x\n",
|
H A D | mthca_mad.c | 61 printk(KERN_WARNING "ib_query_port failed (%d) for %s port %d\n",
|
/barrelfish-master/kernel/ |
H A D | syscall.c | 711 printk(LOG_ERR, "SYSCALL_YIELD while enabled\n"); 791 printk(LOG_ERR, "SYSCALL_SUSPEND while enabled\n"); 804 printk(LOG_NOTE, "in sys_suspend(<no_halt>)!\n"); 805 printk(LOG_NOTE, "calling switch_kcb!\n"); 810 printk(LOG_NOTE, "enabling kcb scheduler!\n"); 908 printk(LOG_NOTE, "in kernel_suspend_kcb_sched invocation!\n");
|
H A D | startup.c | 86 printk(LOG_WARN, "create_caps_to_cnode: Cannot create more caps " 92 printk(LOG_WARN, "create_caps_to_cnode: mem_region out of space\n");
|
H A D | capabilities.c | 337 printk(LOG_WARN, "%s: %s:%d: %s %p %s" 1645 printk(LOG_WARN, "%s: CNode: objsize = %" PRIuGENSIZE "\n", __FUNCTION__, objsize); 1651 printk(LOG_WARN, "%s: L2CNode: objsize = %"PRIuGENSIZE"\n", __FUNCTION__, objsize); 1754 printk(LOG_WARN, "mdb_find_range returned: %"PRIuERRV"\n", err); 1770 printk(LOG_NOTE, "%s: cap=%s\n", __FUNCTION__, capbuf); 1773 printk(LOG_NOTE, "%s: ... is mapping for cap=%s\n", 1957 printk(LOG_WARN, "trying to copy cap type %d into cap type %d\n",
|
H A D | dispatch.c | 158 // printk(LOG_NOTE, "%s: ep->u.endpointlmp.epoffset = %"PRIuLVADDR"\n", __FUNCTION__, ep->u.endpointlmp.epoffset); 166 // printk(LOG_NOTE, "recv_cspace_ptr = %"PRIxCADDR"\n", recv_ep->recv_cspc); 214 printk(LOG_NOTE, "deleting source of lmp captransfer failed: %"PRIuERRV"\n", err);
|
/barrelfish-master/lib/x86emu/ |
H A D | decode.c | 107 printk("halted\n"); 112 printk("Service completed successfully\n"); 288 printk("error: should not happen: multiple overrides.\n");
|
/barrelfish-master/kernel/arch/x86/ |
H A D | startup_x86.c | 476 printk(LOG_NOTE, "\nRunning microbenchmarks...\n"); 536 printk(LOG_DEBUG, "%s:%s:%d: kcb_current->wakeup_queue_head = %p\n", 540 printk(LOG_DEBUG, "%s:%s:%d: dcb_current = %p\n",
|
/barrelfish-master/kernel/arch/x86_32/ |
H A D | page_mappings_arch.c | 295 printk(LOG_ERR, "%s: mdb_insert: %"PRIuERRV"\n", __FUNCTION__, err); 388 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
|
H A D | paging.c | 152 printk(LOG_ERR, "Mapped region [%"PRIxLPADDR",%"PRIxLPADDR"]"
|
H A D | startup_arch.c | 219 printk(LOG_NOTE, "skipping RAM [%llx--%llx] out of " 226 printk(LOG_NOTE, "shortening RAM [%llx--%llx] to mappable "
|
/barrelfish-master/include/x86emu/ |
H A D | regs.h | 333 void printk(const char *fmt, ...);
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | syscall.c | 246 printk(LOG_NOTE, "type = %d, bytes = %zu\n", type, objsize); 362 printk(LOG_NOTE, "%s: caps_lookup_slot: %ld\n", __FUNCTION__, err); 368 printk(LOG_NOTE, "%s: page_mappings_unmap: %ld\n", __FUNCTION__, err); 1203 printk(LOG_ERR, "Bad invocation type %d cmd %d\n", to->type, cmd); 1245 printk(LOG_ERR, "invalid sys_debug msg type %d\n", msg);
|