TMS320F28P550SJ: TMS320F28P550x高分辨率死区配置问题

Part Number: TMS320F28P550SJ

参考TMS320F28P550x例程,DBFEDHR配置是这样写的

HRPWM_setHiResRisingEdgeDelayOnly(uint32_t base,uint16_t hrRedCount)

{

    ASSERT(HRPWM_isBaseValid(base));

    ASSERT(hrRedCount<128U);

    HWREGH(base+HRPWM_O_DBFEDHR)=hrRedCount<<9U)

}

把hrRedCount左移 9 位对齐到DBREDHR寄存器的高位字段,但是在TMS320F28P55x Real-Time Microcontrollers 技术手册P2497页计算DBREDHR寄存器数值是左移了8位
= (frac(DBRED Required) * MEP_ScaleFactor + 0.5) << 8 (Shifting is to move the value to the high byte of DBREDHR)
所以这个地方应该是移几位?