[f761f1eb] | 1 | /*
|
---|
| 2 | * Copyright (C) 2001-2004 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 | #ifndef __PAGE_H__
|
---|
| 30 | #define __PAGE_H__
|
---|
| 31 |
|
---|
| 32 | #include <arch/types.h>
|
---|
[74df77d] | 33 | #include <typedefs.h>
|
---|
[f761f1eb] | 34 |
|
---|
[ff9f858] | 35 | #define PAGE_CACHEABLE_SHIFT 0
|
---|
| 36 | #define PAGE_NOT_CACHEABLE_SHIFT PAGE_CACHEABLE_SHIFT
|
---|
| 37 | #define PAGE_PRESENT_SHIFT 1
|
---|
| 38 | #define PAGE_NOT_PRESENT_SHIFT PAGE_PRESENT_SHIFT
|
---|
| 39 | #define PAGE_USER_SHIFT 2
|
---|
| 40 | #define PAGE_KERNEL_SHIFT PAGE_USER_SHIFT
|
---|
| 41 | #define PAGE_READ_SHIFT 3
|
---|
| 42 | #define PAGE_WRITE_SHIFT 4
|
---|
| 43 | #define PAGE_EXEC_SHIFT 5
|
---|
| 44 |
|
---|
[76cec1e] | 45 | #define PAGE_NOT_CACHEABLE (0<<PAGE_CACHEABLE_SHIFT)
|
---|
| 46 | #define PAGE_CACHEABLE (1<<PAGE_CACHEABLE_SHIFT)
|
---|
[f761f1eb] | 47 |
|
---|
[76cec1e] | 48 | #define PAGE_PRESENT (0<<PAGE_PRESENT_SHIFT)
|
---|
| 49 | #define PAGE_NOT_PRESENT (1<<PAGE_PRESENT_SHIFT)
|
---|
[f761f1eb] | 50 |
|
---|
[76cec1e] | 51 | #define PAGE_USER (1<<PAGE_USER_SHIFT)
|
---|
| 52 | #define PAGE_KERNEL (0<<PAGE_USER_SHIFT)
|
---|
[f761f1eb] | 53 |
|
---|
[ff9f858] | 54 | #define PAGE_READ (1<<PAGE_READ_SHIFT)
|
---|
| 55 | #define PAGE_WRITE (1<<PAGE_WRITE_SHIFT)
|
---|
| 56 | #define PAGE_EXEC (1<<PAGE_EXEC_SHIFT)
|
---|
[f761f1eb] | 57 |
|
---|
[992bbb97] | 58 | /*
|
---|
| 59 | * This is the generic 4-level page table interface.
|
---|
| 60 | * Architectures are supposed to implement *_ARCH macros.
|
---|
| 61 | */
|
---|
| 62 |
|
---|
| 63 | /*
|
---|
| 64 | * These macros process vaddr and extract those portions
|
---|
| 65 | * of it that function as indices to respective page tables.
|
---|
| 66 | */
|
---|
| 67 | #define PTL0_INDEX(vaddr) PTL0_INDEX_ARCH(vaddr)
|
---|
| 68 | #define PTL1_INDEX(vaddr) PTL1_INDEX_ARCH(vaddr)
|
---|
| 69 | #define PTL2_INDEX(vaddr) PTL2_INDEX_ARCH(vaddr)
|
---|
| 70 | #define PTL3_INDEX(vaddr) PTL3_INDEX_ARCH(vaddr)
|
---|
| 71 |
|
---|
[ff9f858] | 72 | #define GET_PTL0_ADDRESS() GET_PTL0_ADDRESS_ARCH()
|
---|
| 73 | #define SET_PTL0_ADDRESS(ptl0) SET_PTL0_ADDRESS_ARCH(ptl0)
|
---|
| 74 |
|
---|
[992bbb97] | 75 | /*
|
---|
| 76 | * These macros traverse the 4-level tree of page tables,
|
---|
| 77 | * each descending by one level.
|
---|
| 78 | */
|
---|
| 79 | #define GET_PTL1_ADDRESS(ptl0, i) GET_PTL1_ADDRESS_ARCH(ptl0, i)
|
---|
| 80 | #define GET_PTL2_ADDRESS(ptl1, i) GET_PTL2_ADDRESS_ARCH(ptl1, i)
|
---|
| 81 | #define GET_PTL3_ADDRESS(ptl2, i) GET_PTL3_ADDRESS_ARCH(ptl2, i)
|
---|
| 82 | #define GET_FRAME_ADDRESS(ptl3, i) GET_FRAME_ADDRESS_ARCH(ptl3, i)
|
---|
| 83 |
|
---|
| 84 | /*
|
---|
| 85 | * These macros are provided to change shape of the 4-level
|
---|
| 86 | * tree of page tables on respective level.
|
---|
| 87 | */
|
---|
| 88 | #define SET_PTL1_ADDRESS(ptl0, i, a) SET_PTL1_ADDRESS_ARCH(ptl0, i, a)
|
---|
| 89 | #define SET_PTL2_ADDRESS(ptl1, i, a) SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
|
---|
| 90 | #define SET_PTL3_ADDRESS(ptl2, i, a) SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
|
---|
| 91 | #define SET_FRAME_ADDRESS(ptl3, i, a) SET_FRAME_ADDRESS_ARCH(ptl3, i, a)
|
---|
| 92 |
|
---|
[ff9f858] | 93 | /*
|
---|
| 94 | * These macros are provided to query various flags within the page tables.
|
---|
| 95 | */
|
---|
| 96 | #define GET_PTL1_FLAGS(ptl0, i) GET_PTL1_FLAGS_ARCH(ptl0, i)
|
---|
| 97 | #define GET_PTL2_FLAGS(ptl1, i) GET_PTL2_FLAGS_ARCH(ptl1, i)
|
---|
| 98 | #define GET_PTL3_FLAGS(ptl2, i) GET_PTL3_FLAGS_ARCH(ptl2, i)
|
---|
| 99 | #define GET_FRAME_FLAGS(ptl3, i) GET_FRAME_FLAGS_ARCH(ptl3, i)
|
---|
| 100 |
|
---|
[992bbb97] | 101 | /*
|
---|
| 102 | * These macros are provided to set/clear various flags within the page tables.
|
---|
| 103 | */
|
---|
| 104 | #define SET_PTL1_FLAGS(ptl0, i, x) SET_PTL1_FLAGS_ARCH(ptl0, i, x)
|
---|
| 105 | #define SET_PTL2_FLAGS(ptl1, i, x) SET_PTL2_FLAGS_ARCH(ptl1, i, x)
|
---|
| 106 | #define SET_PTL3_FLAGS(ptl2, i, x) SET_PTL3_FLAGS_ARCH(ptl2, i, x)
|
---|
| 107 | #define SET_FRAME_FLAGS(ptl3, i, x) SET_FRAME_FLAGS_ARCH(ptl3, i, x)
|
---|
| 108 |
|
---|
[f761f1eb] | 109 | extern void page_init(void);
|
---|
[d1a184f] | 110 | extern void map_page_to_frame(__address page, __address frame, int flags, __address root);
|
---|
[1084a784] | 111 | extern pte_t *find_mapping(__address page, __address root);
|
---|
[74df77d] | 112 | extern void map_structure(__address s, size_t size);
|
---|
[f761f1eb] | 113 |
|
---|
| 114 | #endif
|
---|