unsigned long __bsp_frequency = 400000000;