* the COPYING file in the top-level directory.
*/
-#include <asm/types.h>
+#include <jailhouse/types.h>
extern volatile unsigned long panic_in_progress;
-extern unsigned int panic_cpu;
+extern unsigned long panic_cpu;
void printk(const char *fmt, ...);
void panic_printk(const char *fmt, ...);
+#ifdef CONFIG_TRACE_ERROR
+#define trace_error(code) ({ \
+ printk("%s:%d: returning error %s\n", __FILE__, __LINE__, #code); \
+ code; \
+})
+#else /* !CONFIG_TRACE_ERROR */
+#define trace_error(code) code
+#endif /* !CONFIG_TRACE_ERROR */
+
void arch_dbg_write_init(void);
void arch_dbg_write(const char *msg);