Searched refs:printk (Results 51 - 75 of 100) sorted by relevance

1234

/barrelfish-master/kernel/arch/armv7/
H A Dplat_zynq7.c35 #define MSG(format, ...) printk( LOG_NOTE, "ZYNQ7: "format, ## __VA_ARGS__ )
H A Dsyscall.c244 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 Dpaging.c24 #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 Dinit.c46 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
H A Dboot_driver.c27 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
/barrelfish-master/kernel/arch/x86_64/
H A Dsvm_vmkit.c98 printk(LOG_WARN, "VMKit: Unable to enable SVM although the hardware "
330 printk(LOG_ERR, "Unexpected error delivering VMEXIT");
H A Dsyscall.c377 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 Dvmx_vmkit.c511 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 Duverbs_main.c936 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 Duser_mad.c681 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 Dmthca_mr.c488 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 Dmthca_cmd.c1754 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 Dmthca_av.c227 printk(KERN_DEBUG " [%2x] %08x\n",
H A Dmthca_mad.c61 printk(KERN_WARNING "ib_query_port failed (%d) for %s port %d\n",
/barrelfish-master/kernel/
H A Dsyscall.c711 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 Dstartup.c86 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 Dcapabilities.c337 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 Ddispatch.c158 // 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 Ddecode.c107 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 Dstartup_x86.c476 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 Dpage_mappings_arch.c295 printk(LOG_ERR, "%s: mdb_insert: %"PRIuERRV"\n", __FUNCTION__, err);
388 printk(LOG_ERR, "dispatcher->vspace = 0x%"PRIxLPADDR": too high!\n" ,
H A Dpaging.c152 printk(LOG_ERR, "Mapped region [%"PRIxLPADDR",%"PRIxLPADDR"]"
H A Dstartup_arch.c219 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 Dregs.h333 void printk(const char *fmt, ...);
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c246 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);

Completed in 140 milliseconds

1234