Home
last modified time | relevance | path

Searched refs:masked_rights (Results 1 – 1 of 1) sorted by relevance

/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c187 cap_rights_t masked_rights = data.rights & rights; in cspace_check_cap_data() local
207 if (compiler_unexpected(masked_rights != rights)) { in cspace_check_cap_data()
666 cap_rights_t masked_rights = cap_data.rights & rights_mask; in cspace_copy_cap() local
667 if (masked_rights == 0U) { in cspace_copy_cap()
682 cap_data.rights = masked_rights; in cspace_copy_cap()

Completed in 8 milliseconds