Searched refs:SuperUserFromVMRights (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c516 SuperUserFromVMRights(vm_rights), /* super_user */
564 SuperUserFromVMRights(vm_rights), /* super_user */
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h118 uint32_t CONST SuperUserFromVMRights(vm_rights_t vm_rights);
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c871 SuperUserFromVMRights(vm_rights), /* super user */
916 SuperUserFromVMRights(vm_rights), /* super_user */
965 SuperUserFromVMRights(vm_rights), /* super_user */
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c601 uint32_t CONST SuperUserFromVMRights(vm_rights_t vm_rights) function

Completed in 99 milliseconds