PCIE_SER_TIMER_UNIT
B_BE_PL1_TIMER_UNIT_MASK, PCIE_SER_TIMER_UNIT);
B_BE_PL1_TIMER_UNIT_MASK, PCIE_SER_TIMER_UNIT);
PCIE_SER_TIMER_UNIT);
val32 = u32_replace_bits(val32, PCIE_SER_TIMER_UNIT, B_BE_PL1_TIMER_UNIT_MASK);