net: Add network_offset to blocks
[akaros.git] / kern / arch / x86 / kdebug.h
index 2a733c1..d9983df 100644 (file)
@@ -4,8 +4,7 @@
  *
  * x86-specific Kernel debugging headers and static inlines */
 
-#ifndef ROS_KERN_ARCH_KDEBUG_H
-#define ROS_KERN_ARCH_KDEBUG_H
+#pragma once
 
 #include <ros/common.h>
 #include <arch/x86.h>
@@ -24,7 +23,7 @@ typedef struct eipdebuginfo {
        int eip_fn_narg;                        // Number of function arguments
 } eipdebuginfo_t;
 
-int debuginfo_eip(uintptr_t eip, eipdebuginfo_t *NONNULL info);
+int debuginfo_eip(uintptr_t eip, eipdebuginfo_t *info);
 void *debug_get_fn_addr(char *fn_name);
 
 /* Returns a PC/EIP in the function that called us, preferably near the call
@@ -39,5 +38,3 @@ static inline uintptr_t get_caller_pc(void)
         * retaddr (just *(ebp + 1) is not) */
        return *(ebp + 1) - 1;
 }
-
-#endif /* ROS_KERN_ARCH_KDEBUG_H */