Page MenuHomeFreeBSD
Differential D21418 Diff 61444 head/sys/arm64/arm64/mp_machdep.c

Changeset View

Standalone View

View Options

head/sys/arm64/arm64/mp_machdep.c

Show All 38 Lines
#include <sys/systm.h> #include <sys/systm.h>
#include <sys/bus.h> #include <sys/bus.h>
#include <sys/cpu.h> #include <sys/cpu.h>
#include <sys/kernel.h> #include <sys/kernel.h>
#include <sys/ktr.h> #include <sys/ktr.h>
#include <sys/malloc.h> #include <sys/malloc.h>
#include <sys/module.h> #include <sys/module.h>
#include <sys/mutex.h> #include <sys/mutex.h>
#include <sys/pcpu.h>
#include <sys/proc.h> #include <sys/proc.h>
#include <sys/sched.h> #include <sys/sched.h>
#include <sys/smp.h> #include <sys/smp.h>
#include <vm/vm.h> #include <vm/vm.h>
#include <vm/pmap.h> #include <vm/pmap.h>
#include <vm/vm_extern.h> #include <vm/vm_extern.h>
#include <vm/vm_kern.h> #include <vm/vm_kern.h>
▲ Show 20 Lines • Show All 51 Lines • ▼ Show 20 Linesstruct intr_ipi {
u_long * ii_count; u_long * ii_count;
}; };
static struct intr_ipi ipi_sources[INTR_IPI_COUNT]; static struct intr_ipi ipi_sources[INTR_IPI_COUNT];
static struct intr_ipi *intr_ipi_lookup(u_int); static struct intr_ipi *intr_ipi_lookup(u_int);
static void intr_pic_ipi_setup(u_int, const char *, intr_ipi_handler_t *, static void intr_pic_ipi_setup(u_int, const char *, intr_ipi_handler_t *,
void *); void *);
extern struct pcpu __pcpu[];
static void ipi_ast(void *); static void ipi_ast(void *);
static void ipi_hardclock(void *); static void ipi_hardclock(void *);
static void ipi_preempt(void *); static void ipi_preempt(void *);
static void ipi_rendezvous(void *); static void ipi_rendezvous(void *);
static void ipi_stop(void *); static void ipi_stop(void *);
struct mtx ap_boot_mtx; struct mtx ap_boot_mtx;
▲ Show 20 Lines • Show All 707 Lines • Show Last 20 Lines