| /seL4-master/src/arch/arm/32/machine/ |
| A D | capdl.c | 51 switch (pte_ptr_get_pteType(pte)) { in cap_frame_print_attrs_pt()
54 AP = pte_pte_small_ptr_get_HAP(pte); in cap_frame_print_attrs_pt()
57 AP = pte_pte_small_ptr_get_AP(pte); in cap_frame_print_attrs_pt()
58 TEX = pte_pte_small_ptr_get_TEX(pte); in cap_frame_print_attrs_pt()
60 XN = pte_pte_small_ptr_get_XN(pte); in cap_frame_print_attrs_pt()
65 AP = pte_pte_large_ptr_get_AP(pte); in cap_frame_print_attrs_pt()
67 XN = pte_pte_large_ptr_get_XN(pte); in cap_frame_print_attrs_pt()
124 switch (pte_ptr_get_pteType(pte)) { in arm32_cap_pt_print_slots()
136 cap_frame_print_attrs_pt(pte); in arm32_cap_pt_print_slots()
143 cap_frame_print_attrs_pt(pte); in arm32_cap_pt_print_slots()
[all …]
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 52 static inline bool_t isPTEPageTable(pte_t *pte) in isPTEPageTable() argument
54 return pte_ptr_get_valid(pte) && in isPTEPageTable()
55 !(pte_ptr_get_read(pte) || pte_ptr_get_write(pte) || pte_ptr_get_execute(pte)); in isPTEPageTable()
385 static inline pte_t *getPPtrFromHWPTE(pte_t *pte) in getPPtrFromHWPTE() argument
691 find_ret.vspace_root == pte)) { in decodeRISCVPageTableInvocation()
774 pte_t pte = pte_new((paddr >> seL4_PageBits), in decodeRISCVPageTableInvocation() local
1080 *ptSlot = pte; in performPageTableInvocationMap()
1117 static exception_t updatePTE(pte_t pte, pte_t *base) in updatePTE() argument
1119 *base = pte; in updatePTE()
1125 pte_t pte, pte_t *base) in performPageInvocationMapPTE() argument
[all …]
|
| /seL4-master/src/arch/riscv/object/ |
| A D | objecttype.c | 96 pte_t *pte = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); in Arch_finaliseCap() local
97 if (find_ret.status == EXCEPTION_NONE && find_ret.vspace_root == pte) { in Arch_finaliseCap()
98 deleteASID(asid, pte); in Arch_finaliseCap()
100 unmapPageTable(asid, cap_page_table_cap_get_capPTMappedAddress(cap), pte); in Arch_finaliseCap()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 211 pte_t pte; in map_kernel_window() local
287 pte = pte_new( in map_kernel_window()
300 ia32KSGlobalPT[idx] = pte; in map_kernel_window()
306 pte = pte_new( in map_kernel_window()
319 ia32KSGlobalPT[idx] = pte; in map_kernel_window()
699 pte_t pte = pte_new( in benchmark_arch_map_logBuffer() local
713 ia32KSGlobalLogPT[idx] = pte; in benchmark_arch_map_logBuffer()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 346 pteS1_t pte; in map_kernel_window() local
347 pte = pteS1_pteS1_small_new( in map_kernel_window()
359 armHSGlobalPT[idx] = pte; in map_kernel_window()
797 pte_t pte; in makeUserPTE() local
865 pte = pte_pte_small_new( in makeUserPTE()
874 pte = pte_pte_small_new( in makeUserPTE()
888 pte = pte_pte_small_new( in makeUserPTE()
913 return pte; in makeUserPTE()
1549 pte_t pte; member
1867 pte = pte_pte_small_set_address(pte, base_address + i * BIT(pageBitsForSize(ARMSmallPage)));
[all …]
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 132 pte_t pte; in map_kernel_window_devices() local
144 pte = x86_make_device_pte(phys); in map_kernel_window_devices()
147 pt[idx] = pte; in map_kernel_window_devices()
158 pt[idx] = pte; in map_kernel_window_devices()
166 pte = x86_make_empty_pte(); in map_kernel_window_devices()
168 pt[idx] = pte; in map_kernel_window_devices()
183 pt[idx] = pte; in map_kernel_window_devices()
192 pte = x86_make_empty_pte(); in map_kernel_window_devices()
193 pt[idx] = pte; in map_kernel_window_devices()
793 *ptSlot = pte; in performX86PageInvocationMapPTE()
[all …]
|
| A D | ept.c | 762 static exception_t performEPTPageMapPTE(cap_t cap, cte_t *cte, ept_pte_t *ptSlot, ept_pte_t pte, ep… in performEPTPageMapPTE() argument
764 *ptSlot = pte; in performEPTPageMapPTE()
867 ept_pte_t pte; in decodeX86EPTPageMap() local
883 pte = ept_pte_new( in decodeX86EPTPageMap()
893 return performEPTPageMapPTE(cap, cte, lu_ret.ptSlot, pte, pml4); in decodeX86EPTPageMap()
|
| /seL4-master/include/arch/arm/arch/32/mode/object/ |
| A D | structures.h | 402 static inline word_t CONST pte_get_pteType(pte_t pte) in pte_get_pteType() argument
404 if (pte_get_pteSize(pte) == pte_pte_small) { in pte_get_pteType()
406 } else if (pte_pte_large_get_reserved(pte) == 1) { in pte_get_pteType()
|
| A D | structures.bf | 308 tagged_union pte pteSize {
324 #define pteS2 pte
|
| /seL4-master/include/arch/riscv/arch/kernel/ |
| A D | vspace.h | 60 pte_t pte, pte_t *base);
|
| /seL4-master/include/arch/riscv/arch/32/mode/object/ |
| A D | structures.bf | 114 block pte {
|
| /seL4-master/ |
| A D | gdb-macros | 813 set $pte = *(long *)$pgdptr
814 #printf "PGD@0x%x is 0x%x\n", $pgdptr, $pte
815 decode_pte $pte
829 set $pte = *(long *)$pteptr
830 decode_pte $pte
|
| /seL4-master/include/arch/riscv/arch/64/mode/object/ |
| A D | structures.bf | 125 block pte {
|
| /seL4-master/include/arch/arm/arch/64/mode/object/ |
| A D | structures.bf | 345 block pte {
|
| /seL4-master/include/arch/x86/arch/32/mode/object/ |
| A D | structures.bf | 450 block pte {
|
| /seL4-master/include/arch/x86/arch/64/mode/object/ |
| A D | structures.bf | 558 block pte {
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1603 pte_t pte, pte_t *ptSlot) in performSmallPageInvocationMap() argument
1608 *ptSlot = pte; in performSmallPageInvocationMap()
|