Exemplo n.º 1
0
void __cpuinit setup_irq_regs(void)
{
	/* Enable interrupt delivery. */
	unmask_irqs(~0UL);
#if CHIP_HAS_IPI()
	arch_local_irq_unmask(INT_IPI_K);
#endif
}
Exemplo n.º 2
0
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);
}