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); }
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); }