Searched refs:user_high (Results 1 – 2 of 2) sorted by relevance
544 uint64_t vh, vl, user_low, user_high; in ipv6_userprefix() local563 user_high = user_number << (result_len - 64); in ipv6_userprefix()566 user_high = user_number >> (64 - result_len); in ipv6_userprefix()573 vh |= user_high; in ipv6_userprefix()
739 struct cil_level *user_high = user->range->high; in __cil_verify_context() local795 } else if (sens == user_high->sens) { in __cil_verify_context()