vbus_interfaces.h

Go to the documentation of this file.

/*
 * (c) 2014 Sarah Hoffmann <sarah.hoffmann@kernkonzept.com>
 *
 * This file is part of TUD:OS and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 */
#pragma once
 
#include <l4/sys/types.h>
 
typedef enum l4vbus_iface_type_t
{
  L4VBUS_INTERFACE_ICU = 0,
  L4VBUS_INTERFACE_GPIO,
  L4VBUS_INTERFACE_PCI,
  L4VBUS_INTERFACE_PCIDEV,
  L4VBUS_INTERFACE_PM,
  L4VBUS_INTERFACE_BUS,
  L4VBUS_INTERFACE_GENERIC = 0x20
} l4vbus_iface_type_t;
 
 
enum {
  L4VBUS_IFACE_SHIFT = 26
};
 
L4_INLINE unsigned l4vbus_subinterface(unsigned opcode)
{
  return opcode >> L4VBUS_IFACE_SHIFT;
}
 
L4_INLINE unsigned l4vbus_interface_opcode(unsigned opcode)
{
  return opcode & ((1 << L4VBUS_IFACE_SHIFT) - 1);
}
 
L4_INLINE int l4vbus_subinterface_supported(l4_uint32_t dev_type,
                                            l4vbus_iface_type_t iface_type)
{
  if (iface_type == L4VBUS_INTERFACE_GENERIC)
    return 1;
 
  return (dev_type & (1 << iface_type)) ? 1 : 0;
}