2004-05-14 07:46:45 -04:00
|
|
|
/* $FreeBSD$ */
|
|
|
|
|
|
|
|
|
|
#ifndef _MACHINE_SMP_H_
|
|
|
|
|
#define _MACHINE_SMP_H_
|
|
|
|
|
|
2012-08-14 23:03:03 -04:00
|
|
|
#include <sys/_cpuset.h>
|
2013-07-29 08:55:37 -04:00
|
|
|
#include <machine/pcb.h>
|
2012-08-14 23:03:03 -04:00
|
|
|
|
|
|
|
|
#define IPI_AST 0
|
|
|
|
|
#define IPI_PREEMPT 2
|
|
|
|
|
#define IPI_RENDEZVOUS 3
|
|
|
|
|
#define IPI_STOP 4
|
2014-04-27 16:01:59 -04:00
|
|
|
#define IPI_STOP_HARD 4
|
2012-08-14 23:03:03 -04:00
|
|
|
#define IPI_HARDCLOCK 6
|
|
|
|
|
#define IPI_TLB 7
|
2015-03-26 17:13:53 -04:00
|
|
|
#define IPI_CACHE 8
|
2012-08-14 23:03:03 -04:00
|
|
|
|
|
|
|
|
void init_secondary(int cpu);
|
2014-02-23 17:35:18 -05:00
|
|
|
void mpentry(void);
|
2012-08-14 23:03:03 -04:00
|
|
|
|
|
|
|
|
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);
|
|
|
|
|
|
|
|
|
|
/* PIC interface */
|
|
|
|
|
void pic_ipi_send(cpuset_t cpus, u_int ipi);
|
|
|
|
|
void pic_ipi_clear(int ipi);
|
2014-12-24 10:25:18 -05:00
|
|
|
int pic_ipi_read(int arg);
|
2012-08-14 23:03:03 -04:00
|
|
|
|
|
|
|
|
/* Platform interface */
|
|
|
|
|
void platform_mp_setmaxid(void);
|
|
|
|
|
int platform_mp_probe(void);
|
|
|
|
|
void platform_mp_start_ap(void);
|
|
|
|
|
void platform_mp_init_secondary(void);
|
|
|
|
|
|
|
|
|
|
void platform_ipi_send(cpuset_t cpus, u_int ipi);
|
|
|
|
|
|
2013-07-29 04:07:35 -04:00
|
|
|
/* global data in mp_machdep.c */
|
|
|
|
|
extern struct pcb stoppcbs[];
|
|
|
|
|
|
2004-05-14 07:46:45 -04:00
|
|
|
#endif /* !_MACHINE_SMP_H_ */
|