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/xen/interface/device_tree_defs.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 #ifndef __XEN_DEVICE_TREE_DEFS_H__
    2 #define __XEN_DEVICE_TREE_DEFS_H__
    3 
    4 #if defined(__XEN__) || defined(__XEN_TOOLS__)
    5 /*
    6  * The device tree compiler (DTC) is allocating the phandle from 1 to
    7  * onwards. Reserve a high value for the GIC phandle.
    8  */
    9 #define GUEST_PHANDLE_GIC (65000)
   10 
   11 #define GUEST_ROOT_ADDRESS_CELLS 2
   12 #define GUEST_ROOT_SIZE_CELLS 2
   13 
   14 /**
   15  * IRQ line type.
   16  *
   17  * DT_IRQ_TYPE_NONE            - default, unspecified type
   18  * DT_IRQ_TYPE_EDGE_RISING     - rising edge triggered
   19  * DT_IRQ_TYPE_EDGE_FALLING    - falling edge triggered
   20  * DT_IRQ_TYPE_EDGE_BOTH       - rising and falling edge triggered
   21  * DT_IRQ_TYPE_LEVEL_HIGH      - high level triggered
   22  * DT_IRQ_TYPE_LEVEL_LOW       - low level triggered
   23  * DT_IRQ_TYPE_LEVEL_MASK      - Mask to filter out the level bits
   24  * DT_IRQ_TYPE_SENSE_MASK      - Mask for all the above bits
   25  * DT_IRQ_TYPE_INVALID         - Use to initialize the type
   26  */
   27 #define DT_IRQ_TYPE_NONE           0x00000000
   28 #define DT_IRQ_TYPE_EDGE_RISING    0x00000001
   29 #define DT_IRQ_TYPE_EDGE_FALLING   0x00000002
   30 #define DT_IRQ_TYPE_EDGE_BOTH                           \
   31     (DT_IRQ_TYPE_EDGE_FALLING | DT_IRQ_TYPE_EDGE_RISING)
   32 #define DT_IRQ_TYPE_LEVEL_HIGH     0x00000004
   33 #define DT_IRQ_TYPE_LEVEL_LOW      0x00000008
   34 #define DT_IRQ_TYPE_LEVEL_MASK                          \
   35     (DT_IRQ_TYPE_LEVEL_LOW | DT_IRQ_TYPE_LEVEL_HIGH)
   36 #define DT_IRQ_TYPE_SENSE_MASK     0x0000000f
   37 
   38 #define DT_IRQ_TYPE_INVALID        0x00000010
   39 
   40 #endif
   41 
   42 #endif

Cache object: 3d961962b4074a020cf3b1ceb2abf6eb


[ 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.