1/* $FreeBSD: stable/10/sys/arm/include/smp.h 253768 2013-07-29 12:55:37Z cognet $ */
| 1/* $FreeBSD: stable/10/sys/arm/include/smp.h 266203 2014-05-16 00:14:50Z ian $ */
|
2
3#ifndef _MACHINE_SMP_H_
4#define _MACHINE_SMP_H_
5
6#include <sys/_cpuset.h>
7#include <machine/pcb.h>
8
9#define IPI_AST 0
10#define IPI_PREEMPT 2
11#define IPI_RENDEZVOUS 3
12#define IPI_STOP 4
13#define IPI_STOP_HARD 5
14#define IPI_HARDCLOCK 6
15#define IPI_TLB 7
16
17void init_secondary(int cpu);
| 2
3#ifndef _MACHINE_SMP_H_
4#define _MACHINE_SMP_H_
5
6#include <sys/_cpuset.h>
7#include <machine/pcb.h>
8
9#define IPI_AST 0
10#define IPI_PREEMPT 2
11#define IPI_RENDEZVOUS 3
12#define IPI_STOP 4
13#define IPI_STOP_HARD 5
14#define IPI_HARDCLOCK 6
15#define IPI_TLB 7
16
17void init_secondary(int cpu);
|
| 18void mpentry(void);
|
18
19void ipi_all_but_self(u_int ipi);
20void ipi_cpu(int cpu, u_int ipi);
21void ipi_selected(cpuset_t cpus, u_int ipi);
22
23/* PIC interface */
24void pic_ipi_send(cpuset_t cpus, u_int ipi);
25void pic_ipi_clear(int ipi);
--- 14 unchanged lines hidden --- | 19
20void ipi_all_but_self(u_int ipi);
21void ipi_cpu(int cpu, u_int ipi);
22void ipi_selected(cpuset_t cpus, u_int ipi);
23
24/* PIC interface */
25void pic_ipi_send(cpuset_t cpus, u_int ipi);
26void pic_ipi_clear(int ipi);
--- 14 unchanged lines hidden --- |