l4/pkg/libvbus/include/vbus_gpio-ops.h

   1 /*
   2  * (c) 2011 Alexander Warg <warg@os.inf.tu-dresden.de>
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  *
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU General Public License 2.
   7  * Please see the COPYING-GPL-2 file for details.
   8  */
   9
  10 #pragma once
  11
  12 enum L4vbus_gpio_op
  13 {
  14   L4VBUS_GPIO_OP_SETUP,
  15   L4VBUS_GPIO_OP_CONFIG_PAD,
  16   L4VBUS_GPIO_OP_CONFIG_GET,
  17   L4VBUS_GPIO_OP_GET,
  18   L4VBUS_GPIO_OP_SET,
  19   L4VBUS_GPIO_OP_MULTI_SETUP,
  20   L4VBUS_GPIO_OP_MULTI_CONFIG_PAD,
  21   L4VBUS_GPIO_OP_MULTI_GET,
  22   L4VBUS_GPIO_OP_MULTI_SET,
  23   L4VBUS_GPIO_OP_TO_IRQ
  24 };