Searched refs:nonexecutable (Results 1 - 2 of 2) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 836 bool_t cacheable, bool_t nonexecutable, vm_rights_t vm_rights)
854 nonexecutable);
863 nonexecutable);
871 nonexecutable,
881 nonexecutable,
907 nonexecutable, /* Executable */
916 nonexecutable, /* Executable */
930 nonexecutable, /* Executable */
939 nonexecutable, /* Executable */
958 bool_t cacheable, bool_t nonexecutable, word_
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-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 797 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); local
801 nonexecutable, /* unprivileged execute never */
820 nonexecutable, /* unprivileged execute never */
843 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); local
847 nonexecutable, /* unprivileged execute never */
865 nonexecutable, /* unprivileged execute never */
886 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); local
890 nonexecutable, /* unprivileged execute never */
908 nonexecutable, /* unprivileged execute never */
|
Completed in 79 milliseconds