l4/pkg/io/libvbus/include/vbus_pci-ops.h

   1 /*
   2  * (c) 2014 Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
   3  *
   4  * This file is part of TUD:OS and distributed under the terms of the
   5  * GNU General Public License 2.
   6  * Please see the COPYING-GPL-2 file for details.
   7  */
   8 #pragma once
   9
  10 #include <l4/vbus/vbus_interfaces.h>
  11
  12 enum
  13 {
  14   L4vbus_pciroot_cfg_read = L4VBUS_INTERFACE_PCI << L4VBUS_IFACE_SHIFT,
  15   L4vbus_pciroot_cfg_write,
  16   L4vbus_pciroot_cfg_irq_enable
  17 };
  18
  19 enum
  20 {
  21   L4vbus_pcidev_cfg_read = L4VBUS_INTERFACE_PCIDEV << L4VBUS_IFACE_SHIFT,
  22   L4vbus_pcidev_cfg_write,
  23   L4vbus_pcidev_cfg_irq_enable
  24 };