seL4/include
Adrian Danis 128829a919 x86: Rationalize names of paging structures
Changes the name of paging structure entries to more clearly indicate the kind of object
they map to. Generally this is changing a `pde_small` to `pde_pt` to indicate that this
mapping refers to a page table, removing an inconsistency where `pde_large` indicated that
the mapping was for a large page. For the same reason the `ept_pde_4k` type is changed to
`ept_pde_pt` type to reflect what is present in the actual entry.

`pde_large` is left as 'large' and not explicitly given a size as code common between
ia32 and x86-64 manipulates these entities and 'large' is already a used abstraction
over the two potential page sizes so there is need to introduce a formal abstraction layer
and make the names in the structures more specific.
2017-09-12 15:44:17 +10: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 x86: Rationalize names of paging structures 2017-09-12 15:44:17 +10: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: Correct return type of servicePendingIRQ 2017-08-29 10:56:43 +10: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
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
types.h
util.h Verification: popcount- Avoid conflict variable names/types 2017-06-29 13:35:30 +10:00