void i386_start_cpu(int lapic_id, int cpu_num);
void i386_send_NMI(int cpu);
void handle_pending_TLB_flushes(void);
void i386_start_cpu(int lapic_id, int cpu_num);
void i386_send_NMI(int cpu);
void handle_pending_TLB_flushes(void);
/* Program the interrupt command register */
/* The vector is ignored in this case--the target CPU will enter on the
* NMI vector.
*/
LAPIC_WRITE_ICR(cpu_to_lapic[cpu],
LAPIC_VECTOR(INTERPROCESSOR)|LAPIC_ICR_DM_NMI);
/* Program the interrupt command register */
/* The vector is ignored in this case--the target CPU will enter on the
* NMI vector.
*/
LAPIC_WRITE_ICR(cpu_to_lapic[cpu],
LAPIC_VECTOR(INTERPROCESSOR)|LAPIC_ICR_DM_NMI);