Searched refs:SD_SHARE_PKG_RESOURCES (Results 1 – 4 of 4) sorted by relevance
280 return SD_SHARE_PKG_RESOURCES | SD_SHARE_POWERDOMAIN; in cpu_corepower_flags()
744 int flags = SD_SHARE_CPUCAPACITY | SD_SHARE_PKG_RESOURCES; in powerpc_smt_flags()
988 #define SD_SHARE_PKG_RESOURCES 0x0200 /* Domain members share cpu pkg resources */ macro998 return SD_SHARE_CPUCAPACITY | SD_SHARE_PKG_RESOURCES; in cpu_smt_flags()1005 return SD_SHARE_PKG_RESOURCES; in cpu_core_flags()
5779 SD_SHARE_PKG_RESOURCES | in sd_degenerate()5810 SD_SHARE_PKG_RESOURCES | in sd_parent_degenerate()6004 sd = highest_flag_domain(cpu, SD_SHARE_PKG_RESOURCES); in update_top_cache_domain()6423 SD_SHARE_PKG_RESOURCES | \6469 | 0*SD_SHARE_PKG_RESOURCES in sd_init()6495 } else if (sd->flags & SD_SHARE_PKG_RESOURCES) { in sd_init()