Searched refs:print_num64 (Results 1 – 1 of 1) sorted by relevance
511 static void print_num64(const char *name, u64 value) in print_num64() function614 print_num64("ACPI RSDP addr", base_ptr->acpi_rsdp_addr); in zimage_dump()679 print_num64("HW subarch data", hdr->hardware_subarch_data); in zimage_dump()682 print_num64("Setup data", hdr->setup_data); in zimage_dump()683 print_num64("Pref address", hdr->pref_address); in zimage_dump()
Completed in 4 milliseconds