Searched refs:makeUserPTE (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 124 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights);
|
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 553 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) function
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 649 static pte_t CONST makeUserPTE(paddr_t paddr, bool_t executable, vm_rights_t vm_rights) function 900 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights);
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 835 static pte_t CONST makeUserPTE(vm_page_size_t page_size, paddr_t paddr, function 1627 ret.pte = makeUserPTE(ARMSmallPage, base, 1667 ret.pte = makeUserPTE(ARMLargePage, base,
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 954 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) function
|
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 879 ret.pte = makeUserPTE(base, attr, vmRights);
|
Completed in 53 milliseconds