Searched refs:cap_sbbc_possible (Results 1 – 1 of 1) sorted by relevance
254 SpaprCapPossible cap_sbbc_possible = { variable270 cap_sbbc_possible.vals[val]); in cap_safe_bounds_check_apply()275 cap_sbbc_possible.vals[kvm_val]); in cap_safe_bounds_check_apply()703 .possible = &cap_sbbc_possible,