| /* |
| * Copyright 2014, NICTA |
| * |
| * This software may be distributed and modified according to the terms of |
| * the BSD 2-Clause license. Note that NO WARRANTY is provided. |
| * See "LICENSE_BSD2.txt" for details. |
| * |
| * @TAG(NICTA_BSD) |
| */ |
| #ifndef _SEL4UTILS_ARCH_MAPPING_H |
| #define _SEL4UTILS_ARCH_MAPPING_H |
| |
| #define seL4_ARCH_Uncached_VMAttributes 0 |
| |
| #define seL4_ARCH_Page_Map seL4_ARM_Page_Map |
| #define seL4_ARCH_Page_Unmap seL4_ARM_Page_Unmap |
| #define seL4_ARCH_Page_GetAddress seL4_ARM_Page_GetAddress |
| #define seL4_ARCH_Page_GetAddress_t seL4_ARM_Page_GetAddress_t |
| #define seL4_ARCH_PageTable_Map seL4_ARM_PageTable_Map |
| #define seL4_ARCH_PageTable_Unmap seL4_ARM_PageTable_Unmap |
| #define seL4_ARCH_ASIDPool_Assign seL4_ARM_ASIDPool_Assign |
| #define seL4_ARCH_ASIDControl_MakePool seL4_ARM_ASIDControl_MakePool |
| #define seL4_ARCH_PageTableObject seL4_ARM_PageTableObject |
| #define seL4_ARCH_PageDirectoryObject seL4_ARM_PageDirectoryObject |
| #define seL4_ARCH_Default_VMAttributes seL4_ARM_Default_VMAttributes |
| #define seL4_ARCH_VMAttributes seL4_ARM_VMAttributes |
| #define seL4_ARCH_4KPage seL4_ARM_SmallPageObject |
| /* Remap does not exist on all kernels */ |
| #define seL4_ARCH_Page_Remap seL4_ARM_Page_Remap |
| #define ARCHPageGetAddress ARMPageGetAddress |
| |
| #endif /* _SEL4UTILS_ARCH_MAPPING_H */ |
