/*
 * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *          Alexander Warg <warg@os.inf.tu-dresden.de>,
 *          Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once

#include "vbus_interfaces.h"

enum L4vbus_vdevice_op
{
  L4vbus_vdevice_hid = L4VBUS_INTERFACE_GENERIC << L4VBUS_IFACE_SHIFT,
  L4vbus_vdevice_adr,
  L4vbus_vdevice_get_by_hid,
  L4vbus_vdevice_get_next,
  L4vbus_vdevice_get_resource,
  L4vbus_vdevice_get_hid,
  L4vbus_vdevice_is_compatible,
  L4vbus_vdevice_get,
};

enum {
  L4vbus_vbus_request_resource = L4VBUS_INTERFACE_BUS << L4VBUS_IFACE_SHIFT,
  L4vbus_vbus_release_resource,
  L4vbus_vbus_assign_dma_domain,
};

enum
{
  L4vbus_vicu_get_cap = L4VBUS_INTERFACE_ICU << L4VBUS_IFACE_SHIFT
};

