seL4/include/arch
Anna Lyons 859091b414 SELFOUR-519: remove duplicated constants
* rename physBaseMapping to BASE_OFFSET
* because physBaseMapping was only used explicity in a few places
* move duplicated arm definions up a level
    - PPTR_TOP
    - PADDR_TOP
    - BASE_OFFSET
2016-08-05 17:08:21 +10:00
..
arm SELFOUR-519: remove duplicated constants 2016-08-05 17:08:21 +10:00
x86/arch x86: Split some arch functions in mode headers into arch and mode portions 2016-08-01 11:43:59 +10:00