boot/platform: Break x86 code away from core EFI code
Change-Id: I88afad6d071e8b577c23da9c60392c60b3726514 Reviewed-on: https://review.haiku-os.org/c/haiku/+/1895 Reviewed-by: Alex von Gluck IV <[email protected]> Reviewed-by: Adrien Destugues <[email protected]>
This commit is contained in:
committed by
Alex von Gluck IV
parent
f17664c8b1
commit
7c32619c7f
@@ -0,0 +1,12 @@
|
||||
/*
|
||||
* Copyright 2013-2019 Haiku, Inc. All rights reserved.
|
||||
* Distributed under the terms of the MIT License.
|
||||
*/
|
||||
#ifndef KERNEL_BOOT_PLATFORM_EFI_ARCH_MMU_H
|
||||
#define KERNEL_BOOT_PLATFORM_EFI_ARCH_MMU_H
|
||||
|
||||
|
||||
void arch_mmu_init();
|
||||
|
||||
|
||||
#endif /* KERNEL_BOOT_PLATFORM_EFI_ARCH_MMU_H */
|
||||
@@ -0,0 +1,18 @@
|
||||
/*
|
||||
* Copyright 2013-2019 Haiku, Inc. All rights reserved.
|
||||
* Distributed under the terms of the MIT License.
|
||||
*/
|
||||
#ifndef KERNEL_BOOT_PLATFORM_EFI_ARCH_SMP_H
|
||||
#define KERNEL_BOOT_PLATFORM_EFI_ARCH_SMP_H
|
||||
|
||||
#include <boot/menu.h>
|
||||
|
||||
|
||||
int arch_smp_get_current_cpu(void);
|
||||
void arch_smp_init_other_cpus(void);
|
||||
void arch_smp_boot_other_cpus(uint32 pml4, uint64 kernel_entry);
|
||||
void arch_smp_add_safemode_menus(Menu *menu);
|
||||
void arch_smp_init(void);
|
||||
|
||||
|
||||
#endif /* KERNEL_BOOT_PLATFORM_EFI_ARCH_SMP_H */
|
||||
Reference in New Issue
Block a user