Searched refs:target_cpu (Results 1 – 2 of 2) sorted by relevance
487 int target_cpu; in sun4d_init_sbi_irq() local489 target_cpu = boot_cpu_id; in sun4d_init_sbi_irq()495 set_sbi_tid(devid, target_cpu << 3); in sun4d_init_sbi_irq()496 board_to_cpu[board] = target_cpu; in sun4d_init_sbi_irq()
492 static void prod_single(unsigned int target_cpu) in prod_single() argument497 hwid = get_hard_smp_processor_id(target_cpu); in prod_single()502 target_cpu, hwid, hvrc); in prod_single()
Completed in 7 milliseconds