void __cpuinit setup_irq_regs(void) { /* Enable interrupt delivery. */ unmask_irqs(~0UL); #if CHIP_HAS_IPI() arch_local_irq_unmask(INT_IPI_K); #endif }
void init_messaging(void) { /* Allocate storage for messages in kernel space */ HV_MsgState *state = this_cpu_ptr(&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. */ arch_local_irq_unmask(INT_INTCTRL_K); }
void __cpuinit init_messaging(void) { 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); arch_local_irq_unmask(INT_INTCTRL_K); }