| 1 | /*
|
|---|
| 2 | * Copyright (C) 2006 Jakub Jermar
|
|---|
| 3 | * All rights reserved.
|
|---|
| 4 | *
|
|---|
| 5 | * Redistribution and use in source and binary forms, with or without
|
|---|
| 6 | * modification, are permitted provided that the following conditions
|
|---|
| 7 | * are met:
|
|---|
| 8 | *
|
|---|
| 9 | * - Redistributions of source code must retain the above copyright
|
|---|
| 10 | * notice, this list of conditions and the following disclaimer.
|
|---|
| 11 | * - Redistributions in binary form must reproduce the above copyright
|
|---|
| 12 | * notice, this list of conditions and the following disclaimer in the
|
|---|
| 13 | * documentation and/or other materials provided with the distribution.
|
|---|
| 14 | * - The name of the author may not be used to endorse or promote products
|
|---|
| 15 | * derived from this software without specific prior written permission.
|
|---|
| 16 | *
|
|---|
| 17 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
|
|---|
| 18 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
|
|---|
| 19 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
|
|---|
| 20 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|---|
| 21 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
|
|---|
| 22 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
|
|---|
| 23 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
|
|---|
| 24 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
|
|---|
| 25 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
|
|---|
| 26 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|---|
| 27 | */
|
|---|
| 28 |
|
|---|
| 29 | /*
|
|---|
| 30 | * This is the generic 4-level page table interface.
|
|---|
| 31 | * Architectures that use hierarchical page tables
|
|---|
| 32 | * are supposed to implement *_ARCH macros.
|
|---|
| 33 | */
|
|---|
| 34 |
|
|---|
| 35 | #ifndef __PAGE_PT_H__
|
|---|
| 36 | #define __PAGE_PT_H__
|
|---|
| 37 |
|
|---|
| 38 | #include <arch/types.h>
|
|---|
| 39 | #include <typedefs.h>
|
|---|
| 40 | #include <mm/page.h>
|
|---|
| 41 |
|
|---|
| 42 | /*
|
|---|
| 43 | * Number of entries in each level.
|
|---|
| 44 | */
|
|---|
| 45 | #define PTL0_ENTRIES PTL0_ENTRIES_ARCH
|
|---|
| 46 | #define PTL1_ENTRIES PTL1_ENTRIES_ARCH
|
|---|
| 47 | #define PTL2_ENTRIES PTL2_ENTRIES_ARCH
|
|---|
| 48 | #define PTL3_ENTRIES PTL3_ENTRIES_ARCH
|
|---|
| 49 |
|
|---|
| 50 | /*
|
|---|
| 51 | * These macros process vaddr and extract those portions
|
|---|
| 52 | * of it that function as indices to respective page tables.
|
|---|
| 53 | */
|
|---|
| 54 | #define PTL0_INDEX(vaddr) PTL0_INDEX_ARCH(vaddr)
|
|---|
| 55 | #define PTL1_INDEX(vaddr) PTL1_INDEX_ARCH(vaddr)
|
|---|
| 56 | #define PTL2_INDEX(vaddr) PTL2_INDEX_ARCH(vaddr)
|
|---|
| 57 | #define PTL3_INDEX(vaddr) PTL3_INDEX_ARCH(vaddr)
|
|---|
| 58 |
|
|---|
| 59 | #define SET_PTL0_ADDRESS(ptl0) SET_PTL0_ADDRESS_ARCH(ptl0)
|
|---|
| 60 |
|
|---|
| 61 | /*
|
|---|
| 62 | * These macros traverse the 4-level tree of page tables,
|
|---|
| 63 | * each descending by one level.
|
|---|
| 64 | */
|
|---|
| 65 | #define GET_PTL1_ADDRESS(ptl0, i) GET_PTL1_ADDRESS_ARCH(ptl0, i)
|
|---|
| 66 | #define GET_PTL2_ADDRESS(ptl1, i) GET_PTL2_ADDRESS_ARCH(ptl1, i)
|
|---|
| 67 | #define GET_PTL3_ADDRESS(ptl2, i) GET_PTL3_ADDRESS_ARCH(ptl2, i)
|
|---|
| 68 | #define GET_FRAME_ADDRESS(ptl3, i) GET_FRAME_ADDRESS_ARCH(ptl3, i)
|
|---|
| 69 |
|
|---|
| 70 | /*
|
|---|
| 71 | * These macros are provided to change shape of the 4-level
|
|---|
| 72 | * tree of page tables on respective level.
|
|---|
| 73 | */
|
|---|
| 74 | #define SET_PTL1_ADDRESS(ptl0, i, a) SET_PTL1_ADDRESS_ARCH(ptl0, i, a)
|
|---|
| 75 | #define SET_PTL2_ADDRESS(ptl1, i, a) SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
|
|---|
| 76 | #define SET_PTL3_ADDRESS(ptl2, i, a) SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
|
|---|
| 77 | #define SET_FRAME_ADDRESS(ptl3, i, a) SET_FRAME_ADDRESS_ARCH(ptl3, i, a)
|
|---|
| 78 |
|
|---|
| 79 | /*
|
|---|
| 80 | * These macros are provided to query various flags within the page tables.
|
|---|
| 81 | */
|
|---|
| 82 | #define GET_PTL1_FLAGS(ptl0, i) GET_PTL1_FLAGS_ARCH(ptl0, i)
|
|---|
| 83 | #define GET_PTL2_FLAGS(ptl1, i) GET_PTL2_FLAGS_ARCH(ptl1, i)
|
|---|
| 84 | #define GET_PTL3_FLAGS(ptl2, i) GET_PTL3_FLAGS_ARCH(ptl2, i)
|
|---|
| 85 | #define GET_FRAME_FLAGS(ptl3, i) GET_FRAME_FLAGS_ARCH(ptl3, i)
|
|---|
| 86 |
|
|---|
| 87 | /*
|
|---|
| 88 | * These macros are provided to set/clear various flags within the page tables.
|
|---|
| 89 | */
|
|---|
| 90 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x)
|
|---|
| 91 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x)
|
|---|
| 92 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x)
|
|---|
| 93 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x)
|
|---|
| 94 |
|
|---|
| 95 | /*
|
|---|
| 96 | * Determine whether the mapping is valid.
|
|---|
| 97 | */
|
|---|
| 98 | #define PTE_VALID(p) PTE_VALID_ARCH((p))
|
|---|
| 99 |
|
|---|
| 100 | extern page_mapping_operations_t pt_mapping_operations;
|
|---|
| 101 |
|
|---|
| 102 | extern void page_mapping_insert_pt(as_t *as, __address page, __address frame, int flags);
|
|---|
| 103 | extern pte_t *page_mapping_find_pt(as_t *as, __address page);
|
|---|
| 104 |
|
|---|
| 105 | #endif
|
|---|
