vbus_types.h

Go to the documentation of this file.

/*
 * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *          Alexander Warg <warg@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 <l4/sys/types.h>
 
typedef l4_mword_t l4vbus_device_handle_t;
typedef l4_addr_t l4vbus_paddr_t;
 
typedef struct {
  l4_uint16_t    type;
  l4_uint16_t    flags;
  l4vbus_paddr_t start;
  l4vbus_paddr_t end;
  l4vbus_device_handle_t provider;
  l4_uint32_t id;
} l4vbus_resource_t;
typedef struct  {…};
 
enum l4vbus_resource_type_t {
  L4VBUS_RESOURCE_INVALID = 0, 
  L4VBUS_RESOURCE_IRQ,         
  L4VBUS_RESOURCE_MEM,         
  L4VBUS_RESOURCE_PORT,        
  L4VBUS_RESOURCE_BUS,         
  L4VBUS_RESOURCE_GPIO,        
  L4VBUS_RESOURCE_DMA_DOMAIN,  
  L4VBUS_RESOURCE_MAX,         
};
enum l4vbus_resource_type_t {…};
 
enum l4vbus_resource_flags_t {
  L4VBUS_RESOURCE_F_MEM_R = 0x1,
  L4VBUS_RESOURCE_F_MEM_W = 0x2,
  L4VBUS_RESOURCE_F_MEM_MMIO_READ = 0x2000,
  L4VBUS_RESOURCE_F_MEM_MMIO_WRITE = 0x4000,
};
enum l4vbus_resource_flags_t {…};
 
enum l4vbus_consts_t {
  L4VBUS_DEV_NAME_LEN = 64,
  L4VBUS_MAX_DEPTH = 100,
};
 
typedef struct {
  l4_uint32_t   type;
  char          name[L4VBUS_DEV_NAME_LEN];
  unsigned      num_resources;
  unsigned      flags;
} l4vbus_device_t;
typedef struct  {…};
 
enum l4vbus_device_flags_t {
  L4VBUS_DEVICE_F_CHILDREN = 0x10, 
};
enum l4vbus_device_flags_t {…};