Searched refs:user_high (Results 1 – 1 of 1) sorted by relevance
739 struct cil_level *user_high = user->range->high; in __cil_verify_context() local795 } else if (sens == user_high->sens) { in __cil_verify_context()