void start_cpu(int cpu, void *entry_64) { printk(BIOS_DEBUG, "Starting CPU%d @ %p trampolining to %p.\n", cpu, reset_entry_32bit, entry_64); start_cpu_silent(cpu, entry_64); }
void start_cpu(int cpu, void *entry_64) { printk(BIOS_DEBUG, "Starting CPU%d @ %p.\n", cpu, entry_64); start_cpu_silent(cpu, entry_64); }