highest_flag_domain  634 kernel/sched/topology.c 	sd = highest_flag_domain(cpu, SD_SHARE_PKG_RESOURCES);
highest_flag_domain  649 kernel/sched/topology.c 	sd = highest_flag_domain(cpu, SD_ASYM_PACKING);