Searched refs:pte (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dcapdl.c158 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 Dvspace.c68 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 Dcapdl.c149 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 Dvspace.h73 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 Dobjecttype.c105 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 Dvspace.c219 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 Dvspace.c69 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 Dvspace.c136 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 Dept.c797 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 Dstructures.h441 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 Driscv.sml112 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 DriscvScript.sml132 ("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 Driscv.sig112 pte: SV_PTE, pteAddr: BitsN.nbit, vAddr: BitsN.nbit,
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/src/
H A Driscv.spec1783 ; 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 Dvspace.c1623 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

Completed in 216 milliseconds