seL4/include
Adrian Danis ee380609c6 x86: Copy RSDP table in acpi_init instead of returning physical address of rsdt
The full RSDP is useful beyond just extracting the RSDT address out of it. In particular
this prepares us for being able to pass a copy of the RSDP to the rootserver.

The previous function signature might lead a user to believe that they were getting a
pointer to a useable acpi_rsdt_t structure. This was in fact not the case and was
actually returning the physical address, that may or may not be mapped in, of the rsdt
table. All of the other acpi *_scan functions would therefore immediately map in the physical
rsdt pointer they were given.

This commit changes acpi_init to return a boolean indicating whether it found a valid
rsdp, and then fills in a copy of the rsdp data. The copy is necessary as the rsdp
data may be at a temporary mapping.

As a result of changing acpi_init the boot code and state is changed to have a acpi_rsdt_t
instance that can be filled out.
2017-10-06 10:08:40 +11:00
..
32/mode Add a CMake based build system 2017-08-22 13:56:26 +10:00
64/mode Add a CMake based build system 2017-08-22 13:56:26 +10:00
api seL4_DebugDumpScheduler: reformat output 2017-06-23 10:28:54 +10:00
arch Check syscall irq argument before casting to irq_t 2017-10-04 22:42:49 +11:00
benchmark Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
fastpath x64: Rearrange cnode_cap structure to improve fastpath speed 2017-01-10 16:57:57 +11:00
kernel Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
machine Fix licenses (the rest) 2017-06-22 15:29:12 +10:00
model SMP: add top level migrateTCB 2017-08-23 11:19:27 +10:00
object SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
plat x86: Copy RSDP table in acpi_init instead of returning physical address of rsdt 2017-10-06 10:08:40 +11:00
smp SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
api.h
assert.h Add unverified_compile_assert 2017-05-04 11:13:31 +10:00
basic_types.h
bootinfo.h SELFOUR-114: remove bootinfo.h duplication 2016-03-01 17:25:22 +11:00
compound_types.h
config.h SMP: Introduce ENABLE_SMP_SUPPORT 2017-06-29 16:23:39 +10:00
linker.h Share linker.h between architectures 2017-08-10 08:38:36 +10:00
machine.h SELFOUR-607: inline remaining irq path functions 2016-08-09 16:18:34 +10:00
Makefile SELFOUR-413: refactor libsel4 fault API 2016-11-25 12:29:07 +11:00
object.h
stdarg.h
stdint.h
string.h Correct separation of printing and debug builds 2016-05-17 15:10:08 +10:00
types.h
util.h Verification: popcount- Avoid conflict variable names/types 2017-06-29 13:35:30 +10:00