/tmp/l4check/full_tree/trunk/l4/pkg/generic_io/include/types.h

Go to the documentation of this file.

/*****************************************************************************/
/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details.
 */

#ifndef __GENERIC_IO_INCLUDE_TYPES_H_
#define __GENERIC_IO_INCLUDE_TYPES_H_

/* L4 includes */
#include <l4/sys/types.h>
#include <l4/sys/compiler.h>

/*****************************************************************************/
/*****************************************************************************/
typedef struct l4io_drv
{
  unsigned src:2;        
  unsigned dsi:8;        
  unsigned drv_class:8;  
  unsigned padding:14;   
} l4io_drv_t;

#define L4IO_DRV_INVALID ((l4io_drv_t){0,0,0,0})  
/*****************************************************************************/

/*****************************************************************************/
typedef struct l4io_res
{
  unsigned long start;  
  unsigned long end;    
  unsigned long flags;  
} l4io_res_t;

/*****************************************************************************/
/*****************************************************************************/
typedef unsigned short l4io_pdev_t;

/*****************************************************************************/
/*****************************************************************************/
typedef struct l4io_pci_dev
{
  unsigned char bus;          /* PCI bus number */
  unsigned char devfn;        /* encoded device [7:3] & function [2:0] index */
  unsigned short vendor;
  unsigned short device;
  unsigned short sub_vendor;
  unsigned short sub_device;
  unsigned long dev_class;    /* 3 bytes: (base,sub,prog-if) */

  unsigned long irq;
#define L4IO_PCIDEV_RES 12    
  l4io_res_t res[L4IO_PCIDEV_RES];  /* resource regions used by device:
                                     * 0-5  standard PCI regions (base addresses)
                                     * 6    expansion ROM
                                     * 7-10 unused for devices */
  char name[80];
  char slot_name[8];

  l4io_pdev_t handle;         /* handle for this device */
} l4io_pci_dev_t;


enum
{
  L4IO_RESOURCE_MEM, L4IO_RESOURCE_PORT, L4IO_RESOURCE_IRQ,
  L4IO_DEVICE_NAME_LEN = 32
};


typedef struct
{
  unsigned long type;   /* resource type (see above) */
  unsigned long start;  /* start of resource */
  unsigned long end;    /* end of resource (last resource item) */
} l4io_desc_resource_t;


typedef struct
{
  unsigned char id[L4IO_DEVICE_NAME_LEN];  /* device identifier */
  unsigned char num_resources;             /* number of resource descriptors;
                                              invalid device if 0 */
  l4io_desc_resource_t resources[];        /* resources of this device */
} l4io_desc_device_t;


/*****************************************************************************/
/*****************************************************************************/
struct l4io_info
{
  union
  {
    struct
    {
      unsigned long magic;                              
      volatile unsigned long jiffies;                   
      unsigned long hz;                                 
      volatile struct { long tv_sec, tv_usec; } xtime;  
      unsigned long omega0;                             
      l4io_desc_device_t devices[];                     
    };

    char padding[L4_PAGESIZE];
  };
}__attribute__ ((aligned(L4_PAGESIZE)));

typedef struct l4io_info l4io_info_t;   
#define L4IO_INFO_MAGIC  0x496f6f49     
enum l4io_mem_flags
{
  // bit 0
  L4IO_MEM_NONCACHED = 0,
  L4IO_MEM_CACHED    = 1,

  // bit 1
  L4IO_MEM_USE_MTRR  = 2,

  // combinations
  L4IO_MEM_WRITE_COMBINED = L4IO_MEM_USE_MTRR | L4IO_MEM_CACHED,
};


L4_CV static inline l4io_desc_device_t * l4io_desc_first_device(l4io_info_t *info)
{
  return info->devices->num_resources ? info->devices : 0;
}


L4_CV static inline l4io_desc_device_t * l4io_desc_next_device(l4io_desc_device_t *dev)
{
  dev = (l4io_desc_device_t *) &dev->resources[dev->num_resources];
  return dev->num_resources ? dev : 0;
}

#endif

---