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

   1 /*
   2  * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   3  *          Alexander Warg <warg@os.inf.tu-dresden.de>,
   4  *          Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
   5  *     economic rights: Technische Universität Dresden (Germany)
   6  *
   7  * This file is part of TUD:OS and distributed under the terms of the
   8  * GNU General Public License 2.
   9  * Please see the COPYING-GPL-2 file for details.
  10  */
  11 #pragma once
  12
  13 enum
  14 {
  15   L4vbus_vdevice_generic = 0x80000000,
  16   L4vbus_vdevice_hid     = 0x80000000,
  17   L4vbus_vdevice_adr     = 0x80000001,
  18   L4vbus_vdevice_get_by_hid,
  19   L4vbus_vdevice_get_next,
  20   L4vbus_vdevice_get_resource,
  21   L4vbus_vdevice_get_hid,
  22   L4vbus_vdevice_is_compatible,
  23 };
  24
  25 enum {
  26   L4vbus_vbus_request_resource,
  27   L4vbus_vbus_release_resource,
  28 };
  29
  30 enum
  31 {
  32   L4vbus_vicu_get_cap
  33 };
  34