Searched defs:cap_rights_mask (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/kernel/src/arch/x86/object/
H A Dobjecttype.c167 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
/seL4-refos-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c58 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
/seL4-refos-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c120 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
/seL4-refos-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c124 cap_t CONST Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dvspace.c670 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c632 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c128 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c170 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument

Completed in 108 milliseconds