84233ddb80
This is pretty much a complete rewrite based on the existing i386 code. The patches have been circulating for a couple years and have been looked at by plenty of people, but I'm not putting anybody on the hook as having reviewed this in any formal sense except myself. After this has gotten wider testing from the user community, ARM_NEW_PMAP will become the default and various dregs of the old pmap code will be removed. Submitted by: Svatopluk Kraus <onwahe@gmail.com>, Michal Meloun <meloun@miracle.cz>
43 lines
920 B
C
43 lines
920 B
C
/* $FreeBSD$ */
|
|
|
|
#ifndef _MACHINE_SMP_H_
|
|
#define _MACHINE_SMP_H_
|
|
|
|
#include <sys/_cpuset.h>
|
|
#include <machine/pcb.h>
|
|
|
|
#define IPI_AST 0
|
|
#define IPI_PREEMPT 2
|
|
#define IPI_RENDEZVOUS 3
|
|
#define IPI_STOP 4
|
|
#define IPI_STOP_HARD 4
|
|
#define IPI_HARDCLOCK 6
|
|
#define IPI_TLB 7
|
|
#define IPI_CACHE 8
|
|
#define IPI_LAZYPMAP 9
|
|
|
|
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);
|
|
|
|
/* PIC interface */
|
|
void pic_ipi_send(cpuset_t cpus, u_int ipi);
|
|
void pic_ipi_clear(int ipi);
|
|
int pic_ipi_read(int arg);
|
|
|
|
/* 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);
|
|
|
|
/* global data in mp_machdep.c */
|
|
extern struct pcb stoppcbs[];
|
|
|
|
#endif /* !_MACHINE_SMP_H_ */
|