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

   1 IMPLEMENTATION [arm && armada38x]:
   2
   3 #include "io.h"
   4 #include "kmem.h"
   5 #include "mmio_register_block.h"
   6
   7 void __attribute__ ((noreturn))
   8 platform_reset(void)
   9 {
  10   Mmio_register_block r(Kmem::mmio_remap(0xf1018200));
  11   r.r<32>(0x60) = 1;
  12   r.r<32>(0x64) = 1;
  13
  14   for (;;)
  15     ;
  16 }