/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/ |
H A D | capdl.c | 158 pte_t pte = start[i]; local 161 if (pte_get_pteType(pte) == pte_pte_small && (pte_pte_small_get_address(pte) != 0 || 162 pte_pte_small_get_HAP(pte))) { 166 if (pte_get_pteType(pte) == pte_pte_large && (pte_pte_large_get_address(pte) != 0 || 167 pte_pte_large_get_AP(pte))) { 169 } else if (pte_get_pteType(pte) == pte_pte_small && (pte_pte_small_get_address(pte) != 0 || 170 pte_pte_small_get_AP(pte))) { [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
H A D | vspace.c | 68 static inline bool_t isPTEPageTable(pte_t *pte) argument 70 return pte_ptr_get_valid(pte) && 71 !(pte_ptr_get_read(pte) || pte_ptr_get_write(pte) || pte_ptr_get_execute(pte)); 385 static inline pte_t *getPPtrFromHWPTE(pte_t *pte) argument 387 return PTE_PTR(ptrFromPAddr(pte_ptr_get_ppn(pte) << seL4_PageTableBits)); 776 pte_t pte = pte_new((paddr >> seL4_PageBits), local 793 return performPageTableInvocationMap(cap, cte, pte, ptSlot); 885 pte_t pte local 963 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights); local 1141 performPageTableInvocationMap(cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *ptSlot) argument 1184 updatePTE(pte_t pte, pte_t *base) argument 1191 performPageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *base) argument 1199 performPageInvocationRemapPTE(pte_t pte, pte_t *base) argument [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | capdl.c | 149 pte_t pte = start[i]; local 150 if (pte_get_page_base_address(pte) != 0 && pte_get_present(pte) && pte_get_super_user(pte)) { 152 sendWord(pte.words[0]);
|
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 73 pte_t pte, pte_t *base); 74 exception_t performPageInvocationRemapPTE(pte_t pte, pte_t *base);
|
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
H A D | objecttype.c | 105 pte_t *pte = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap)); local 106 if (find_ret.status == EXCEPTION_NONE && find_ret.vspace_root == pte) { 107 deleteASID(cap_page_table_cap_get_capPTMappedASID(cap), pte); local 109 unmapPageTable(asid, cap_page_table_cap_get_capPTMappedAddress(cap), pte);
|
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
H A D | vspace.c | 219 pte_t pte; local 295 pte = pte_new( 308 ia32KSGlobalPT[idx] = pte; 314 pte = pte_new( 327 ia32KSGlobalPT[idx] = pte; 724 pte_t pte = pte_new( local 738 ia32KSGlobalLogPT[idx] = pte;
|
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 69 static bool_t PURE pteCheckIfMapped(pte_t *pte); 380 pteS1_t pte; local 381 pte = pteS1_pteS1_small_new( 393 armHSGlobalPT[idx] = pte; 845 pte_t *pte = lookupPTSlot_nofail(pt, vaddr); local 846 switch (pte_ptr_get_pteType(pte)) { 848 ret.frameBase = pte_pte_small_ptr_get_address(pte); 850 if (pte_pte_small_ptr_get_contiguous_hint(pte)) { 865 ret.frameBase = pte_pte_large_ptr_get_address(pte); 884 pte_t pte; local 1670 pte_t pte; member in struct:create_mappings_pte_return 1870 pteCheckIfMapped(pte_t *pte) argument 1976 performPageInvocationMapPTE(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte, pte_range_t pte_entries) argument 2046 performPageInvocationRemapPTE(asid_t asid, pte_t pte, pte_range_t pte_entries) argument [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
H A D | vspace.c | 136 pte_t pte; local 148 pte = x86_make_device_pte(phys); 151 pt[idx] = pte; 160 pte = x86_make_device_pte(phys); 162 pt[idx] = pte; 170 pte = x86_make_empty_pte(); 172 pt[idx] = pte; 184 pte = x86_make_device_pte(phys); 187 pt[idx] = pte; 196 pte 798 performX86PageInvocationMapPTE(cap_t cap, cte_t *ctSlot, pte_t *ptSlot, pte_t pte, vspace_root_t *vspace) argument 818 performX86PageInvocationRemapPTE(pte_t *ptSlot, pte_t pte, asid_t asid, vspace_root_t *vspace) argument 885 pte_t pte; member in struct:create_mapping_pte_return [all...] |
H A D | ept.c | 797 performEPTPageMapPTE(cap_t cap, cte_t *cte, ept_pte_t *ptSlot, ept_pte_t pte, ept_pml4e_t *pml4) argument 799 *ptSlot = pte; 904 ept_pte_t pte; local 920 pte = ept_pte_new( 930 return performEPTPageMapPTE(cap, cte, lu_ret.ptSlot, pte, pml4);
|
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/object/ |
H A D | structures.h | 441 pte_get_pteType(pte_t pte) argument 443 if (pte_get_pteSize(pte) == pte_pte_small) { 445 } else if (pte_pte_large_get_reserved(pte) == 1) {
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/ |
H A D | riscv.sml | 112 pte: SV_PTE, pteAddr: BitsN.nbit, vAddr: BitsN.nbit, 1426 fun TLBEntry_age_rupd ({age, asid, global, pAddr, pte, pteAddr, vAddr, 1428 {age = x', asid = asid, global = global, pAddr = pAddr, pte = pte, 1432 fun TLBEntry_asid_rupd ({age, asid, global, pAddr, pte, pteAddr, vAddr, 1434 {age = age, asid = x', global = global, pAddr = pAddr, pte = pte, 1438 fun TLBEntry_global_rupd ({age, asid, global, pAddr, pte, pteAddr, vAddr, 1440 {age = age, asid = asid, global = x', pAddr = pAddr, pte = pte, 4050 val pte = rec'SV_PTE(rawReadData pte_addr) value [all...] |
H A D | riscvScript.sml | 132 ("pte",CTy"SV_PTE"),("pteAddr",F64),("vAddr",F64),("vAddrMask",F64), 4911 Var("pte",CTy"SV_PTE"),nVar"i",Var("pteAddr",F64)], 4920 ("pte", 4927 Var("pte",CTy"SV_PTE")]),Var("pteAddr",F64)]), 5020 Var("pte",CTy"SV_PTE"),Var("pteAddr",F64),nVar"i",bVar"global", 5267 Var("pte",CTy"SV_PTE"),nVar"i", 5454 ("pte",CTy"SV_PTE",Var("e",CTy"TLBEntry")))]), 5471 ("pte",CTy"SV_PTE", 5475 ("pte", 5480 ("pte",CT [all...] |
H A D | riscv.sig | 112 pte: SV_PTE, pteAddr: BitsN.nbit, vAddr: BitsN.nbit,
|
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/src/ |
H A D | riscv.spec | 1783 ; pte = SV_PTE(rawReadData(pte_addr)) 1788 : " pte=0x" : PadLeft(#"0", 16, [&pte])]) 1789 ; if not pte.PTE_V 1793 else { if pte.PTE_T == 0 or pte.PTE_T == 1 1799 else walk64(vAddr, ft, ac, priv, ZeroExtend(pte.PTE_PPNi << PAGESIZE_BITS), level - 1) 1802 if not checkMemPermission(ft, ac, priv, pte.PTE_T) 1806 else { var pte_w = pte 1808 ; old_r = pte [all...] |
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1623 pte_t pte, pte_t *ptSlot) 1628 *ptSlot = pte; 1622 performSmallPageInvocationMap(asid_t asid, cap_t cap, cte_t *ctSlot, pte_t pte, pte_t *ptSlot) argument
|