68
69
static inline int xnarch_init(void)
77
77
#if defined(CONFIG_SMP) && defined(MODULE)
80
82
set_cpus_allowed(current, cpumask_of_cpu(0));
81
83
#endif /* CONFIG_SMP && MODULE */
88
91
xnarch_escalation_virq = rthal_alloc_virq();
90
92
if (xnarch_escalation_virq == 0)
93
95
rthal_virtualize_irq(&rthal_domain,
96
98
NULL, NULL, IPIPE_HANDLE_MASK | IPIPE_WIRED_MASK);
98
100
xnarch_old_trap_handler = rthal_trap_catch(&xnarch_trap_fault);