Searched refs:board_to_cpu (Results 1 – 1 of 1) sorted by relevance
58 static unsigned char board_to_cpu[32]; variable261 board_to_cpu[board] = cpuid; in sun4d_distribute_irqs()312 handler_data->cpuid = board_to_cpu[board]; in _sun4d_build_device_irq()496 board_to_cpu[board] = target_cpu; in sun4d_init_sbi_irq()