Pip
Architecture-dependent parts of Pip: MAL, IAL and boot
x86_multiboot/MAL/include/structures.h
Go to the documentation of this file.
1 /*******************************************************************************/
2 /* © Université de Lille, The Pip Development Team (2015-2021) */
3 /* */
4 /* This software is a computer program whose purpose is to run a minimal, */
5 /* hypervisor relying on proven properties such as memory isolation. */
6 /* */
7 /* This software is governed by the CeCILL license under French law and */
8 /* abiding by the rules of distribution of free software. You can use, */
9 /* modify and/ or redistribute the software under the terms of the CeCILL */
10 /* license as circulated by CEA, CNRS and INRIA at the following URL */
11 /* "http://www.cecill.info". */
12 /* */
13 /* As a counterpart to the access to the source code and rights to copy, */
14 /* modify and redistribute granted by the license, users are provided only */
15 /* with a limited warranty and the software's author, the holder of the */
16 /* economic rights, and the successive licensors have only limited */
17 /* liability. */
18 /* */
19 /* In this respect, the user's attention is drawn to the risks associated */
20 /* with loading, using, modifying and/or developing or reproducing the */
21 /* software by the user in light of its specific status of free software, */
22 /* that may mean that it is complicated to manipulate, and that also */
23 /* therefore means that it is reserved for developers and experienced */
24 /* professionals having in-depth computer knowledge. Users are therefore */
25 /* encouraged to load and test the software's suitability as regards their */
26 /* requirements in conditions enabling the security of their systems and/or */
27 /* data to be ensured and, more generally, to use and operate it in the */
28 /* same conditions as regards security. */
29 /* */
30 /* The fact that you are presently reading this means that you have had */
31 /* knowledge of the CeCILL license and that you accept its terms. */
32 /*******************************************************************************/
33 
39 #ifndef STRUCT_H
40 #define STRUCT_H
41 
42 #include <stdint.h>
43 
44 #define PAGE_SIZE 4096
45 
46 
50 typedef struct page_table_entry
51 {
52  uint32_t present : 1;
53  uint32_t rw : 1;
54  uint32_t user : 1;
55  uint32_t accessed : 1;
56  uint32_t dirty : 1;
57  uint32_t unused : 7;
58  uint32_t frame : 20;
60 
65 typedef struct page_table
66 {
67  page_table_entry_t pages[1024];
68 } page_table_t;
69 
74 typedef struct page_directory
75 {
76  uint32_t tablesPhysical[1024];
78 
79 #endif
uint32_t accessed
Has the page been accessed since last refresh?
Definition: x86_multiboot/MAL/include/structures.h:55
struct page_table page_table_t
Page Directory structure Pointing to short-descriptor page table.
Definition: armv7/MAL/include/structures.h:51
struct page_directory page_directory_t
uint32_t present
Page present in memory.
Definition: x86_multiboot/MAL/include/structures.h:52
uint32_t user
Supervisor level only if clear.
Definition: x86_multiboot/MAL/include/structures.h:54
uint32_t unused
Amalgamation of unused and reserved bits.
Definition: x86_multiboot/MAL/include/structures.h:57
Definition: armv7/boot/include/mmu.h:58
Page Table structure Pointing to short-descriptor small-page.
Definition: armv7/MAL/include/structures.h:61
uint32_t frame
Frame address (shifted right 12 bits)
Definition: x86_multiboot/MAL/include/structures.h:58
uint32_t dirty
Has the page been written to since last refresh?
Definition: x86_multiboot/MAL/include/structures.h:56
Page Table entry structure.
Definition: x86_multiboot/MAL/include/structures.h:50
uint32_t rw
Read-only if clear, readwrite if set.
Definition: x86_multiboot/MAL/include/structures.h:53
struct page_table_entry page_table_entry_t