- Adding get_ticks() and get_tbclk() for AT91RM9200 - Many white space fixes in cpu/at91rm9200/interrupts.c * Patches by Steven Scholz, 20 Feb 2004: some cleanup in AT91RM9200 related code