1 /* ***************************************************************************/
6 /* * Exit: Starts Timer 1 for port 61 use*/
9 /* ***************************************************************************/
10 static void StartTimer1(void)
16 void SystemPreInit(void)
18 /* they want a jump ... */
19 #ifndef CONFIG_USE_DCACHE_RAM
20 __asm__ __volatile__("jmp .+2\ninvd\njmp .+2\n");