Symbol: highest_flag_domain
kernel/sched/topology.c
683
sd = highest_flag_domain(cpu, SD_SHARE_LLC);
kernel/sched/topology.c
709
sd = highest_flag_domain(cpu, SD_ASYM_PACKING);