d9df1f4e Mon Mar 15 03:00:01 CST 2004 wdenk <wdenk> * Patch by Steven Scholz, 27 Feb 2004: - 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