1 /* 2 * Copyright 2022 Adrien Destugues <pulkomandy@pulkomandy.tk> 3 * 4 * Distributed under terms of the MIT license. 5 */ 6 7 #ifndef ARCH_INIT_H 8 #define ARCH_INIT_H 9 10 11 /** Find the ACPI root pointer using arch or platform-specific code. 12 * 13 * For example on x86, search for it in the BIOS. 14 */ 15 ACPI_PHYSICAL_ADDRESS arch_init_find_root_pointer(); 16 17 18 /** Initialize platform specific interrupt controller configuration. 19 * 20 * For example on x86, enable PIC or APIC depending on boot options. 21 */ 22 void arch_init_interrupt_controller(); 23 24 25 #endif /* !ARCH_INIT_H */ 26