};
#endif
-extern void bind_virq_for_mce(void);
static __init int mce_init_device(void)
{
int err;
register_hotcpu_notifier(&mce_cpu_notifier);
misc_register(&mce_log_device);
- /*Register vIRQ handler for MCE LOG processing*/
-#if defined(CONFIG_X86_XEN_MCE)
- printk(KERN_DEBUG "MCE: bind virq for DOM0 Logging\n");
- bind_virq_for_mce();
+#ifdef CONFIG_X86_XEN_MCE
+ if (is_initial_xendomain()) {
+ /* Register vIRQ handler for MCE LOG processing */
+ extern void bind_virq_for_mce(void);
+
+ printk(KERN_DEBUG "MCE: bind virq for DOM0 logging\n");
+ bind_virq_for_mce();
+ }
#endif
return err;