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