kernel/fiasco/src/kern/arm/bsp/sa1100/reset-arm-sa1100.cpp

   1 IMPLEMENTATION [arm && sa1100]:
   2
   3 #include <sa1100.h>
   4 #include "kmem.h"
   5 #include "io.h"
   6
   7 typedef Sa1100_generic<Kmem::Timer_map_base> Sa1100;
   8
   9 void __attribute__ ((noreturn))
  10   pc_reset(void)
  11 {
  12   Io::write( (Mword)Sa1100::RSRR_SWR, (Address)Sa1100::RSRR );
  13   for (;;)
  14     ;
  15 }