Searched refs:printf (Results 1 – 2 of 2) sorted by relevance
117 printf("RSDP found at %p\n", efi_arg.acpi_rsdp); in efi_prepare_boot_arg()152 printf("*** Zephyr EFI Loader ***\n"); in efi_entry()160 printf("Zeroing %d bytes of memory at %p\n", bytes, dst); in efi_entry()172 printf("Copying %d data bytes to %p from image offset %d\n", in efi_entry()222 printf("Jumping to Entry Point: %p (%x %x %x %x %x %x %x)\n", in efi_entry()
168 static inline int printf(const char *f, ...) in printf() function
Completed in 5 milliseconds