Lines Matching refs:cpu
38 void i386_cpu_IPI(int cpu);
42 void i386_send_NMI(int cpu);
78 i386_send_NMI(int cpu)
85 LAPIC_WRITE_ICR(cpu_to_lapic[cpu],
103 i386_cpu_IPI(int cpu)
106 if(cpu_datap(cpu)->cpu_signals & 6) { /* (BRINGUP) */
107 kprintf("i386_cpu_IPI: sending enter debugger signal (%08X) to cpu %d\n", cpu_datap(cpu)->cpu_signals, cpu);
111 lapic_send_ipi(cpu, LAPIC_VECTOR(INTERPROCESSOR));