Searched defs:vm_attr (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 505 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
522 pde_t CONST makeUserPDEPageTable(paddr_t paddr, vm_attributes_t vm_attr) argument
553 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
653 decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
[all...] |
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 832 static pml4e_t CONST makeUserPML4E(paddr_t paddr, vm_attributes_t vm_attr) argument
860 static pdpte_t CONST makeUserPDPTEHugePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
877 static pdpte_t CONST makeUserPDPTEPageDirectory(paddr_t paddr, vm_attributes_t vm_attr) argument
905 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_ argument
922 makeUserPDEPageTable(paddr_t paddr, vm_attributes_t vm_attr) argument
954 makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
1144 vm_attributes_t vm_attr; local
1509 decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
[all...] |
Completed in 82 milliseconds