The Design and Implementation of the FreeBSD Operating System, Second Edition
Now available: The Design and Implementation of the FreeBSD Operating System (Second Edition)


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]

FreeBSD/Linux Kernel Cross Reference
sys/arm/include/smp.h

Version: -  FREEBSD  -  FREEBSD-13-STABLE  -  FREEBSD-13-0  -  FREEBSD-12-STABLE  -  FREEBSD-12-0  -  FREEBSD-11-STABLE  -  FREEBSD-11-0  -  FREEBSD-10-STABLE  -  FREEBSD-10-0  -  FREEBSD-9-STABLE  -  FREEBSD-9-0  -  FREEBSD-8-STABLE  -  FREEBSD-8-0  -  FREEBSD-7-STABLE  -  FREEBSD-7-0  -  FREEBSD-6-STABLE  -  FREEBSD-6-0  -  FREEBSD-5-STABLE  -  FREEBSD-5-0  -  FREEBSD-4-STABLE  -  FREEBSD-3-STABLE  -  FREEBSD22  -  l41  -  OPENBSD  -  linux-2.6  -  MK84  -  PLAN9  -  xnu-8792 
SearchContext: -  none  -  3  -  10 

    1 /* $FreeBSD: releng/10.0/sys/arm/include/smp.h 253768 2013-07-29 12:55:37Z cognet $ */
    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 
   17 void    init_secondary(int cpu);
   18 
   19 void    ipi_all_but_self(u_int ipi);
   20 void    ipi_cpu(int cpu, u_int ipi);
   21 void    ipi_selected(cpuset_t cpus, u_int ipi);
   22 
   23 /* PIC interface */
   24 void    pic_ipi_send(cpuset_t cpus, u_int ipi);
   25 void    pic_ipi_clear(int ipi);
   26 int     pic_ipi_get(int arg);
   27 
   28 /* Platform interface */
   29 void    platform_mp_setmaxid(void);
   30 int     platform_mp_probe(void);
   31 void    platform_mp_start_ap(void);
   32 void    platform_mp_init_secondary(void);
   33 
   34 void    platform_ipi_send(cpuset_t cpus, u_int ipi);
   35 
   36 /* global data in mp_machdep.c */
   37 extern struct pcb               stoppcbs[];
   38 
   39 #endif /* !_MACHINE_SMP_H_ */

Cache object: 3f52b90827926278c75c192d7914a32b


[ source navigation ] [ diff markup ] [ identifier search ] [ freetext search ] [ file search ] [ list types ] [ track identifier ]


This page is part of the FreeBSD/Linux Linux Kernel Cross-Reference, and was automatically generated using a modified version of the LXR engine.