void __cpuinit setup_irq_regs(void) { /* Enable interrupt delivery. */ unmask_irqs(~0UL); #if CHIP_HAS_IPI() raw_local_irq_unmask(INT_IPI_1); #endif }
void __cpuinit init_messaging(void) { /* Allocate storage for messages in kernel space */ HV_MsgState *state = &__get_cpu_var(msg_state); int rc = hv_register_message_state(state); if (rc != HV_OK) panic("hv_register_message_state: error %d", rc); /* Make sure downcall interrupts will be enabled. */ raw_local_irq_unmask(INT_INTCTRL_K); }