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
  27 /* global symbols in mpboot.S */
  28 extern char                     mptramp_start[];
  29 extern char                     mptramp_end[];
  30 extern u_int32_t                mptramp_pagetables;
  31
  32 /* global data in mp_machdep.c */
  33 extern int                      mp_naps;
  34 extern int                      boot_cpu_id;
  35 extern struct pcb               stoppcbs[];
  36 extern struct mtx               smp_tlb_mtx;
  37
  38 /* IPI handlers */
  39 inthand_t
  40         IDTVEC(invltlb),        /* TLB shootdowns - global */
  41         IDTVEC(invlpg),         /* TLB shootdowns - 1 page */
  42         IDTVEC(invlrng),        /* TLB shootdowns - page range */
  43         IDTVEC(invlcache),      /* Write back and invalidate cache */
  44         IDTVEC(ipi_intr_bitmap_handler), /* Bitmap based IPIs */
  45         IDTVEC(cpustop),        /* CPU stops & waits to be restarted */
  46         IDTVEC(rendezvous);     /* handle CPU rendezvous */
  47
  48 /* functions in mp_machdep.c */
  49 void    cpu_add(u_int apic_id, char boot_cpu);
  50 void    cpustop_handler(void);
  51 void    init_secondary(void);
  52 void    ipi_selected(u_int cpus, u_int ipi);
  53 void    ipi_all(u_int ipi);
  54 void    ipi_all_but_self(u_int ipi);
  55 void    ipi_self(u_int ipi);
  56 void    ipi_bitmap_handler(struct trapframe frame);
  57 u_int   mp_bootaddress(u_int);
  58 int     mp_grab_cpu_hlt(void);
  59 void    mp_topology(void);
  60 void    smp_cache_flush(void);
  61 void    smp_invlpg(vm_offset_t addr);
  62 void    smp_masked_invlpg(u_int mask, vm_offset_t addr);
  63 void    smp_invlpg_range(vm_offset_t startva, vm_offset_t endva);
  64 void    smp_masked_invlpg_range(u_int mask, vm_offset_t startva,
  65             vm_offset_t endva);
  66 void    smp_invltlb(void);
  67 void    smp_masked_invltlb(u_int mask);
  68
  69 #ifdef STOP_NMI
  70 int     ipi_nmi_handler(void);
  71 #endif
  72
  73 #endif /* !LOCORE */
  74 #endif /* SMP */
  75
  76 #endif /* _KERNEL */
  77 #endif /* _MACHINE_SMP_H_ */