Lines Matching refs:printf
152 printf("Detected Xen v%u.%u%s\n", eax >> 16, eax & 0xffff, extraversion); in init_hypercalls()
203 printf("vm86 TSS at %08lx\n", virt_to_phys(tss)); in init_vm86_tss()
254 printf("Unknown BIOS %s, no ROM image found\n", bios); in detect_bios()
311 printf("Cannot load \"%s\" from 0x"PRIllx" (0x"PRIllx")\n", in get_module_entry()
331 printf("HVM Loader\n"); in main()
341 printf("System requested %s\n", bios->name); in main()
343 printf("CPU speed is %u MHz\n", get_cpu_mhz()); in main()
357 printf("Writing SMBIOS tables ...\n"); in main()
361 printf("Loading %s ...\n", bios->name); in main()
387 printf("no BIOS ROM image found\n"); in main()
410 printf("Loading ACPI ...\n"); in main()
423 printf("BIOS map:\n"); in main()
425 printf(" %05x-%05lx: Scratch space\n", in main()
427 printf(" %05x-%05x: Main BIOS\n", in main()
439 printf("Invoking %s ...\n", bios->name); in main()