Searched refs:higher_bucket_edge (Results 1 – 1 of 1) sorted by relevance
4027 sched_clutch_edge higher_bucket_edge = sched_edge_config_get(src_id, dst_id, bucket - 1); in sched_edge_config_verify_non_decreasing_qos_strictness() local4028 if ((edge.sce_migration_allowed && !higher_bucket_edge.sce_migration_allowed) || in sched_edge_config_verify_non_decreasing_qos_strictness()4029 (edge.sce_steal_allowed && !higher_bucket_edge.sce_steal_allowed)) { in sched_edge_config_verify_non_decreasing_qos_strictness()