1#ifndef _MACHINE_SMP_H_
 2#define _MACHINE_SMP_H_
 3
 4#include <sys/_cpuset.h>
 5#include <machine/pcb.h>
 6
 7enum {
 8	IPI_AST,
 9	IPI_PREEMPT,
10	IPI_RENDEZVOUS,
11	IPI_STOP,
12	IPI_STOP_HARD = IPI_STOP, /* These are synonyms on arm. */
13	IPI_HARDCLOCK,
14	IPI_TLB,		/* Not used now, but keep it reserved. */
15	IPI_CACHE,		/* Not used now, but keep it reserved. */
16	INTR_IPI_COUNT
17};
18
19void	init_secondary(int cpu);
20void	mpentry(void);
21
22void	ipi_all_but_self(u_int ipi);
23void	ipi_cpu(int cpu, u_int ipi);
24void	ipi_selected(cpuset_t cpus, u_int ipi);
25
26/* Platform interface */
27void	platform_mp_setmaxid(void);
28void	platform_mp_start_ap(void);
29
30#endif /* !_MACHINE_SMP_H_ */