Searched refs:xc_printf (Results 1 – 4 of 4) sorted by relevance
151 xc_printf(__VA_ARGS__); \172 xc_printf("ERROR: failed to initialize hypercall page: %d\n", in hammer_time_xen()221 xc_printf("ERROR: failed to setup shared_info page\n"); in hammer_time_xen()288 xc_printf("unable to add kenv %s=%s\n", option, value); in xen_pvh_set_env()333 xc_printf( in xen_pvh_parse_symtab()363 xc_printf("No VBE FB in kernel metadata\n"); in fixup_console()378 xc_printf("No EFI FB in kernel metadata\n"); in fixup_console()405 xc_printf("Video console type unsupported\n"); in fixup_console()436 xc_printf("Unable to load module metadata\n"); in xen_pvh_parse_preload_data()447 xc_printf("Unable to find kernel\n"); in xen_pvh_parse_preload_data()[all …]
160 void xc_printf(const char *, ...) __printflike(1, 2);
79 xc_printf("Printing stack trace vCPU%u\n", XEN_VCPUID()); in xendebug_filter()
166 xc_printf(const char *fmt, ...) in xc_printf() function