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

   1 IMPLEMENTATION [arm && pxa]:
   2
   3 #include "timer.h"
   4 #include "io.h"
   5
   6 void __attribute__ ((noreturn))
   7 platform_reset(void)
   8 {
   9   enum {
  10     OSCR  = Kmem::Timer_map_base + 0x10,
  11     OWER  = Kmem::Timer_map_base + 0x18,
  12   };
  13   Io::write(1, OWER);
  14   Io::write(0xffffff00, OSCR);
  15
  16   for (;;)
  17     ;
  18 }