| /* |
| * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) |
| * |
| * SPDX-License-Identifier: BSD-2-Clause |
| */ |
| #pragma once |
| |
| #include <autoconf.h> |
| #include <stddef.h> |
| #include <utils/attribute.h> |
| #include <sel4/sel4.h> |
| |
| /* ordered list of page sizes for this architecture */ |
| static const UNUSED size_t sel4_page_sizes[] = { |
| seL4_PageBits, |
| seL4_LargePageBits, |
| #ifdef CONFIG_HUGE_PAGE |
| seL4_HugePageBits, |
| #endif |
| }; |
| |
| #define seL4_ARCH_Page_Map seL4_X86_Page_Map |
| #define seL4_ARCH_Page_MapIO seL4_X86_Page_MapIO |
| #define seL4_ARCH_Page_Unmap seL4_X86_Page_Unmap |
| #define seL4_ARCH_Page_GetAddress seL4_X86_Page_GetAddress |
| #define seL4_ARCH_Page_GetAddress_t seL4_X86_Page_GetAddress_t |
| #define seL4_ARCH_PageTable_Map seL4_X86_PageTable_Map |
| #define seL4_ARCH_IOPageTable_Map seL4_X86_IOPageTable_Map |
| #define seL4_ARCH_PageTable_Unmap seL4_X86_PageTable_Unmap |
| #define seL4_ARCH_ASIDPool_Assign seL4_X86_ASIDPool_Assign |
| #define seL4_ARCH_ASIDControl_MakePool seL4_X86_ASIDControl_MakePool |
| #define seL4_ARCH_PageTableObject seL4_X86_PageTableObject |
| #define seL4_ARCH_PageDirectoryObject seL4_X86_PageDirectoryObject |
| #define seL4_ARCH_Default_VMAttributes seL4_X86_Default_VMAttributes |
| #define seL4_ARCH_VMAttributes seL4_X86_VMAttributes |
| #define seL4_ARCH_4KPage seL4_X86_4K |
| #define seL4_ARCH_Uncached_VMAttributes seL4_X86_CacheDisabled |
| #define seL4_ARCH_LargePageObject seL4_X86_LargePageObject |
| /* for size of a large page object use seL4_LargePageBits */ |
| #define ARCHPageGetAddress X86PageGetAddress |
| |
