277 * Time base divisior (how many tick for 1 second).
278 */
279externunsignedint BSP_time_base_divisor;
280
281/*
282 * String passed by the bootloader.
283 */
284externchar *BSP_commandline_string;
285
286#define BSP_Convert_decrementer( _value ) \
287 ((unsigned long long) ((((unsigned long long)BSP_time_base_divisor) * 1000000ULL) /((unsigned long long) BSP_bus_frequency)) * ((unsigned long long) (_value)))