sys/dev/xen/debug/debug.c

81

xc_printf("Printing stack trace vCPU%u\n", XEN_VCPUID());

sys/x86/xen/hvm.c

157

xc_printf("invalid linear address: %p\n", addr);

sys/x86/xen/hvm.c

196

xc_printf("cannot map shared info page: %d\n", rc);

sys/x86/xen/hvm.c

219

xc_printf("Failed to get video console info: %d\n", size);

sys/x86/xen/hvm.c

229

xc_printf("No VBE FB in kernel metadata\n");

sys/x86/xen/hvm.c

244

xc_printf("No EFI FB in kernel metadata\n");

sys/x86/xen/hvm.c

271

xc_printf("Video console type unsupported\n");

sys/x86/xen/hvm.c

284

xc_printf("Invalid maximum leaves for hv_base\n");

sys/x86/xen/hvm.c

292

xc_printf("Invalid number of hypercall pages %u\n",

sys/x86/xen/pv.c

152

xc_printf(__VA_ARGS__); \

sys/x86/xen/pv.c

228

xc_printf("Unable to load ELF symtab: invalid symbol table\n");

sys/x86/xen/pv.c

249

xc_printf(

sys/x86/xen/pv.c

278

xc_printf("Unable to load module metadata\n");

sys/x86/xen/pv.c

301

xc_printf("Unable to find kernel metadata\n");

sys/x86/xen/pv.c

395

xc_printf("ERROR: unable to fetch Xen E820 memory map: %d\n",

sys/xen/xen-os.h

154

void xc_printf(const char *, ...) __printflike(1, 2);