229778f87e
do it as a side-effect of probing for MP hardware. This allows us to scan for local SAPICs early (especially before MBUF initialization). o Fix the Local SAPIC structure so that matches the Local SAPIC table entry. Now that the Local SAPIC info is the same as the Local APIC info, stop dumping the Local APIC entries. o For every Local SAPIC entry in the MADT that's not disabled, let the SMP code know about it. They represent actual CPUs. o Register the OS_BOOT_RENDEZ entry point and provide a (bogus) implementation for the entry point. o Provide a mapping for internal IPI numbers to ExtINT vectors. o In a MP system, announce the CPUs and start them by sending IPI_AP_WAKEUP to each of them. Not that it makes a difference at this time :-) o Miscellaneous style fixes and other adjustments.
36 lines
707 B
C
36 lines
707 B
C
/*
|
|
* $FreeBSD$
|
|
*/
|
|
#ifndef _MACHINE_SMP_H_
|
|
#define _MACHINE_SMP_H_
|
|
|
|
#ifdef _KERNEL
|
|
|
|
/*
|
|
* Interprocessor interrupts for SMP. The following values are indices
|
|
* into the IPI vector table. The SAL gives us the vector used for AP
|
|
* wake-up. Keep the IPI_AP_WAKEUP at index 0.
|
|
*/
|
|
#define IPI_AP_WAKEUP 0
|
|
#define IPI_AST 1
|
|
#define IPI_CHECKSTATE 2
|
|
#define IPI_INVLTLB 3
|
|
#define IPI_RENDEZVOUS 4
|
|
#define IPI_STOP 5
|
|
|
|
#define IPI_COUNT 6
|
|
|
|
#ifndef LOCORE
|
|
|
|
extern int mp_hardware;
|
|
extern int mp_ipi_vector[];
|
|
|
|
void ipi_all(int ipi);
|
|
void ipi_all_but_self(int ipi);
|
|
void ipi_selected(u_int64_t cpus, int ipi);
|
|
void ipi_self(int ipi);
|
|
|
|
#endif /* !LOCORE */
|
|
#endif /* _KERNEL */
|
|
#endif /* !_MACHINE_SMP_H */
|