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

/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c803 vm_rights_t capVMRights; local
816 capVMRights = cap_frame_cap_get_capFVMRights(cap);
856 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
H A Dvspace.c941 vm_rights_t capVMRights; local
959 capVMRights = cap_frame_cap_get_capFVMRights(cap);
1025 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c813 vm_rights_t capVMRights = cap_frame_cap_get_capFVMRights(cap); local
894 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2289 vm_rights_t capVMRights, vmRights; local
2307 capVMRights = generic_frame_cap_get_capFVMRights(cap);
2375 maskVMRights(capVMRights, rightsFromWord(w_rightsMask));

Completed in 59 milliseconds