32 lines
651 B
C
32 lines
651 B
C
|
|
#ifndef _MACHINE_SMP_H_
|
|
#define _MACHINE_SMP_H_
|
|
|
|
#include <sys/_cpuset.h>
|
|
#include <machine/pcb.h>
|
|
|
|
enum {
|
|
IPI_AST,
|
|
IPI_PREEMPT,
|
|
IPI_RENDEZVOUS,
|
|
IPI_STOP,
|
|
IPI_STOP_HARD = IPI_STOP, /* These are synonyms on arm. */
|
|
IPI_HARDCLOCK,
|
|
IPI_TLB, /* Not used now, but keep it reserved. */
|
|
IPI_CACHE, /* Not used now, but keep it reserved. */
|
|
INTR_IPI_COUNT
|
|
};
|
|
|
|
void init_secondary(int cpu);
|
|
void mpentry(void);
|
|
|
|
void ipi_all_but_self(u_int ipi);
|
|
void ipi_cpu(int cpu, u_int ipi);
|
|
void ipi_selected(cpuset_t cpus, u_int ipi);
|
|
|
|
/* Platform interface */
|
|
void platform_mp_setmaxid(void);
|
|
void platform_mp_start_ap(void);
|
|
|
|
#endif /* !_MACHINE_SMP_H_ */
|