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

   1 IMPLEMENTATION [arm && integrator]:
   2
   3 #include "io.h"
   4 #include "kmem.h"
   5
   6 void __attribute__ ((noreturn))
   7 platform_reset(void)
   8 {
   9   enum {
  10     HDR_CTRL_OFFSET = Kmem::Integrator_map_base + 0xc,
  11   };
  12
  13   Io::write(1 << 3, HDR_CTRL_OFFSET);
  14
  15   for (;;)
  16     ;
  17 }