Searched defs:nonexecutable (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 835 makeUserPTE(vm_page_size_t page_size, paddr_t paddr, bool_t cacheable, bool_t nonexecutable, vm_rights_t vm_rights) argument 957 makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, bool_t cacheable, bool_t nonexecutable, word_t domain, vm_rights_t vm_rights) argument [all...] |
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 797 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); local 843 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); local 886 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); local
|
Completed in 89 milliseconds