Kmsg debug routine
[akaros.git] / kern / arch / sparc / ros / trapframe.h
index 9caa5c9..c7f2d42 100644 (file)
@@ -2,6 +2,7 @@
 #define ROS_INCLUDE_ARCH_TRAPFRAME_H
 
 #include <ros/common.h>
+#include <stdint.h>
 
 typedef struct trapframe
 {
@@ -12,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;