BIC_CPU_c1
.bic_number = BIC_CPU_c1,
if (DO_BIC(BIC_CPU_c1))
if (DO_BIC(BIC_CPU_c1))
if (!DO_BIC(BIC_CPU_c1) || platform->has_msr_core_c1_res)
SET_BIC(BIC_CPU_c1, &bic_group_hw_idle);
BIC_PRESENT(BIC_CPU_c1);