@@ -1,3 +1,4 @@
+#include <xen/bug.h>
#include <xen/compile.h>
#include <xen/init.h>
#include <xen/kernel.h>
@@ -27,6 +28,20 @@ static void fill_boot_info(void)
boot_info.load_end = (unsigned long)_end;
}
+static void test_run_in_exception(struct cpu_user_regs *regs)
+{
+ early_printk("If you see this message, ");
+ early_printk("run_in_exception_handler is most likely working\n");
+}
+
+static void test_macros_from_bug_h(void)
+{
+ run_in_exception_handler(test_run_in_exception);
+ WARN();
+ early_printk("If you see this message, ");
+ early_printk("WARN is most likely working\n");
+}
+
void __init noreturn start_xen(unsigned long bootcpu_id,
unsigned long dtb_paddr)
{
@@ -36,6 +51,8 @@ void __init noreturn start_xen(unsigned long bootcpu_id,
trap_init();
+ test_macros_from_bug_h();
+
early_printk("All set up\n");
for ( ;; )