Searched refs:makeUserPTE (Results 1 – 6 of 6) sorted by relevance
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | vspace.h | 123 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights);
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 553 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) in makeUserPTE() function
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 649 static pte_t CONST makeUserPTE(paddr_t paddr, bool_t executable, vm_rights_t vm_rights) in makeUserPTE() function
898 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights); in decodeRISCVFrameInvocation()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 794 static pte_t CONST makeUserPTE(vm_page_size_t page_size, paddr_t paddr, in makeUserPTE() function
1578 ret.pte = makeUserPTE(ARMSmallPage, base,
1618 ret.pte = makeUserPTE(ARMLargePage, base,
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 954 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) in makeUserPTE() function
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 879 ret.pte = makeUserPTE(base, attr, vmRights); in createSafeMappingEntries_PTE()
|
Completed in 16 milliseconds