1 /* 2 * Copyright 2009, Ingo Weinhold, ingo_weinhold@gmx.de. 3 * Copyright 2004-2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved. 4 * Distributed under the terms of the MIT License. 5 */ 6 7 8 #include <boot/kernel_args.h> 9 #include <boot/platform.h> 10 #include <boot/stage2.h> 11 #include <arch/cpu.h> 12 #ifdef __x86_64__ 13 # include <boot/arch/x86/arch_cpu.h> 14 #endif 15 16 17 void 18 cpu_init() 19 { 20 gKernelArgs.num_cpus = 1; 21 // this will eventually be corrected later on 22 } 23 24 25 extern "C" void 26 platform_load_ucode(BootVolume& volume) 27 { 28 #ifdef __x86_64__ 29 ucode_load(volume); 30 #endif 31 } 32