1 /* 2 * Copyright 2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef SMP_H 6 #define SMP_H 7 8 9 #include <SupportDefs.h> 10 11 12 #ifdef __cplusplus 13 // this is only available in C++ 14 # include <boot/menu.h> 15 extern void smp_add_safemode_menus(Menu *menu); 16 17 extern "C" { 18 #endif 19 20 extern void smp_init(void); 21 extern void smp_init_other_cpus(void); 22 extern void smp_boot_other_cpus(uint32 pml4, uint64 kernel_entry); 23 extern int smp_get_current_cpu(void); 24 25 #ifdef __cplusplus 26 } 27 #endif 28 29 30 #endif /* SMP_H */ 31