Home
last modified time | relevance | path

Searched defs:nonexecutable (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c802 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); in makeUser3rdLevel() local
848 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); in makeUser2ndLevel() local
891 bool_t nonexecutable = vm_attributes_get_armExecuteNever(attributes); in makeUser1stLevel() local
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c795 bool_t cacheable, bool_t nonexecutable, vm_rights_t vm_rights) in makeUserPTE()
917 bool_t cacheable, bool_t nonexecutable, word_t domain, in makeUserPDE()

Completed in 17 milliseconds