BIC_CPU_c6
.bic_number = BIC_CPU_c6,
if (DO_BIC(BIC_CPU_c6))
SET_BIC(BIC_CPU_c6, &bic_group_hw_idle);