Searched refs:ctx_high (Results 1 – 1 of 1) sorted by relevance
735 struct cil_level *ctx_high = ctx->range->high; in __cil_verify_context() local787 if (sens == ctx_high->sens) { in __cil_verify_context()