kernel/fiasco/src/kern/arm/thread-entry.cpp

   1 INTERFACE:
   2
   3 IMPLEMENTATION[entry]:
   4
   5 #include <cstdio>
   6 #include "kdb_ke.h"
   7
   8 extern "C" void kernel_entry(Mword pc, Mword)
   9 {
  10   Mword pfa;
  11   asm volatile (" mrc p15, 0, %0, c6, c0 \n" : "=r"(pfa) );
  12   printf("PF: @%08x PC=%08x\n",pfa,pc);
  13
  14   kdb_ke("page fault");
  15 };