Kmsg debug routine
[akaros.git] / kern / arch / sparc / ros / trapframe.h
index 64eabfa..c7f2d42 100644 (file)
@@ -1,6 +1,9 @@
 #ifndef ROS_INCLUDE_ARCH_TRAPFRAME_H
 #define ROS_INCLUDE_ARCH_TRAPFRAME_H
 
+#include <ros/common.h>
+#include <stdint.h>
+
 typedef struct trapframe
 {
        uint32_t gpr[32] __attribute__((aligned (8)));
@@ -10,8 +13,6 @@ typedef struct trapframe
        uint32_t wim;
        uint32_t tbr;
        uint32_t y;
-       uint32_t asr13;
-       uint32_t pc_insn;
        uint32_t fault_status;
        uint32_t fault_addr;
        uint64_t timestamp;