| /* Copyright (c) 2011 The Regents of the University of California |
| * Barret Rhoden <brho@cs.berkeley.edu> |
| * See LICENSE for details. |
| * |
| * x86-specific Kernel debugging headers and static inlines */ |
| |
| #ifndef ROS_KERN_ARCH_KDEBUG_H |
| #define ROS_KERN_ARCH_KDEBUG_H |
| |
| #include <ros/common.h> |
| #include <arch/arch.h> |
| |
| #include <stdio.h> |
| |
| /* Returns a PC/EIP in the function that called us, preferably near the call |
| * site. Returns 0 when we can't jump back any farther. */ |
| static inline uintptr_t get_caller_pc(void) |
| { |
| #warning Returning PC instead of caller pc |
| return read_pc(); |
| } |
| |
| #endif /* ROS_KERN_ARCH_KDEBUG_H */ |
