Lines Matching refs:printf
151 printf("Detected Xen v%u.%u%s\n", eax >> 16, eax & 0xffff, extraversion); in init_hypercalls()
202 printf("vm86 TSS at %08lx\n", virt_to_phys(tss)); in init_vm86_tss()
253 printf("Unknown BIOS %s, no ROM image found\n", bios); in detect_bios()
310 printf("Cannot load \"%s\" from 0x"PRIllx" (0x"PRIllx")\n", in get_module_entry()
330 printf("HVM Loader\n"); in main()
340 printf("System requested %s\n", bios->name); in main()
342 printf("CPU speed is %u MHz\n", get_cpu_mhz()); in main()
362 printf("Writing SMBIOS tables ...\n"); in main()
366 printf("Loading %s ...\n", bios->name); in main()
392 printf("no BIOS ROM image found\n"); in main()
415 printf("Loading ACPI ...\n"); in main()
428 printf("BIOS map:\n"); in main()
430 printf(" %05x-%05lx: Scratch space\n", in main()
432 printf(" %05x-%05x: Main BIOS\n", in main()
444 printf("Invoking %s ...\n", bios->name); in main()