sys/amd64/include/smp.h

   1 /*-
   2  * ----------------------------------------------------------------------------
   3  * "THE BEER-WARE LICENSE" (Revision 42):
   4  * <phk@FreeBSD.org> wrote this file.  As long as you retain this notice you
   5  * can do whatever you want with this stuff. If we meet some day, and you think
   6  * this stuff is worth it, you can buy me a beer in return.   Poul-Henning Kamp
   7  * ----------------------------------------------------------------------------
   8  *
   9  * $FreeBSD$
  10  *
  11  */
  12
  13 #ifndef _MACHINE_SMP_H_
  14 #define _MACHINE_SMP_H_
  15
  16 #ifdef _KERNEL
  17
  18 #ifdef SMP
  19
  20 #ifndef LOCORE
  21
  22 #include <sys/bus.h>
  23 #include <machine/frame.h>
  24 #include <machine/intr_machdep.h>
  25 #include <machine/apicvar.h>
  26 #include <machine/pcb.h>
  27
  28 /* global symbols in mpboot.S */
  29 extern char                     mptramp_start[];
  30 extern char                     mptramp_end[];
  31 extern u_int32_t                mptramp_pagetables;
  32
  33 /* global data in mp_machdep.c */
  34 extern int                      mp_naps;
  35 extern int                      boot_cpu_id;
  36 extern struct pcb               stoppcbs[];
  37 extern int                      cpu_apic_ids[];
  38 #ifdef COUNT_IPIS
  39 extern u_long *ipi_invltlb_counts[MAXCPU];
  40 extern u_long *ipi_invlrng_counts[MAXCPU];
  41 extern u_long *ipi_invlpg_counts[MAXCPU];
  42 extern u_long *ipi_invlcache_counts[MAXCPU];
  43 extern u_long *ipi_rendezvous_counts[MAXCPU];
  44 #endif
  45
  46 /* IPI handlers */
  47 inthand_t
  48         IDTVEC(invltlb),        /* TLB shootdowns - global */
  49         IDTVEC(invlpg),         /* TLB shootdowns - 1 page */
  50         IDTVEC(invlrng),        /* TLB shootdowns - page range */
  51         IDTVEC(invlcache),      /* Write back and invalidate cache */
  52         IDTVEC(ipi_intr_bitmap_handler), /* Bitmap based IPIs */
  53         IDTVEC(cpustop),        /* CPU stops & waits to be restarted */
  54         IDTVEC(cpususpend),     /* CPU suspends & waits to be resumed */
  55         IDTVEC(rendezvous);     /* handle CPU rendezvous */
  56
  57 /* functions in mp_machdep.c */
  58 void    cpu_add(u_int apic_id, char boot_cpu);
  59 void    cpustop_handler(void);
  60 void    cpususpend_handler(void);
  61 void    init_secondary(void);
  62 void    ipi_all_but_self(u_int ipi);
  63 void    ipi_bitmap_handler(struct trapframe frame);
  64 void    ipi_cpu(int cpu, u_int ipi);
  65 int     ipi_nmi_handler(void);
  66 void    ipi_selected(cpuset_t cpus, u_int ipi);
  67 u_int   mp_bootaddress(u_int);
  68 void    smp_cache_flush(void);
  69 void    smp_invlpg(vm_offset_t addr);
  70 void    smp_masked_invlpg(cpuset_t mask, vm_offset_t addr);
  71 void    smp_invlpg_range(vm_offset_t startva, vm_offset_t endva);
  72 void    smp_masked_invlpg_range(cpuset_t mask, vm_offset_t startva,
  73             vm_offset_t endva);
  74 void    smp_invltlb(void);
  75 void    smp_masked_invltlb(cpuset_t mask);
  76
  77 #endif /* !LOCORE */
  78 #endif /* SMP */
  79
  80 #endif /* _KERNEL */
  81 #endif /* _MACHINE_SMP_H_ */