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 */
15ACPI_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 */
22void arch_init_interrupt_controller();
23
24
25#endif /* !ARCH_INIT_H */
26