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_ */