cpu_startup_print_total_memory
void cpu_startup_print_total_memory(void (*)(const char *, ...)
cpu_startup_print_total_memory(printf);