Home
last modified time | relevance | path

Searched refs:xc_printf (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/x86/xen/
H A Dhvm.c157 xc_printf("invalid linear address: %p\n", addr); in early_init_vtop()
196 xc_printf("cannot map shared info page: %d\n", rc); in map_shared_info()
219 xc_printf("Failed to get video console info: %d\n", size); in fixup_console()
229 xc_printf("No VBE FB in kernel metadata\n"); in fixup_console()
244 xc_printf("No EFI FB in kernel metadata\n"); in fixup_console()
271 xc_printf("Video console type unsupported\n"); in fixup_console()
284 xc_printf("Invalid maximum leaves for hv_base\n"); in xen_early_init()
292 xc_printf("Invalid number of hypercall pages %u\n", in xen_early_init()
H A Dpv.c152 xc_printf(__VA_ARGS__); \
228 xc_printf("Unable to load ELF symtab: invalid symbol table\n"); in xen_pvh_parse_symtab()
249 xc_printf( in xen_pvh_parse_symtab()
278 xc_printf("Unable to load module metadata\n"); in xen_pvh_parse_preload_data()
301 xc_printf("Unable to find kernel metadata\n"); in xen_pvh_parse_preload_data()
395 xc_printf("ERROR: unable to fetch Xen E820 memory map: %d\n", in xen_pvh_parse_memmap()
/freebsd/sys/xen/
H A Dxen-os.h154 void xc_printf(const char *, ...) __printflike(1, 2);
158 * HYPERVISOR_console_write. Should not be called directly, use xc_printf
/freebsd/sys/dev/xen/debug/
H A Ddebug.c81 xc_printf("Printing stack trace vCPU%u\n", XEN_VCPUID()); in xendebug_filter()
/freebsd/sys/dev/xen/console/
H A Dxen_console.c172 xc_printf(const char *fmt, ...) in xc_printf() function