Symbol: __PRINTK
sys/arch/xen/x86/x86_xpmap.c
668
__PRINTK(("xen_bootstrap_tables map_end 0x%lx\n", map_end));
sys/arch/xen/x86/x86_xpmap.c
669
__PRINTK(("console %#lx ", xen_start_info.console_mfn));
sys/arch/xen/x86/x86_xpmap.c
670
__PRINTK(("xenstore %#" PRIx32 "\n", xen_start_info.store_mfn));