L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
vbus_pci.h
1/*
2 * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3 * Alexander Warg <warg@os.inf.tu-dresden.de>
4 * economic rights: Technische Universität Dresden (Germany)
5 *
6 * This file is part of TUD:OS and distributed under the terms of the
7 * GNU General Public License 2.
8 * Please see the COPYING-GPL-2 file for details.
9 */
10#pragma once
11
12#include <l4/sys/compiler.h>
13#include <l4/vbus/vbus_types.h>
14#include <l4/sys/types.h>
15
23__BEGIN_DECLS
24
31int L4_CV
32l4vbus_pci_cfg_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
33 l4_uint32_t bus, l4_uint32_t devfn,
34 l4_uint32_t reg, l4_uint32_t *value, l4_uint32_t width);
35
42int L4_CV
43l4vbus_pci_cfg_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
44 l4_uint32_t bus, l4_uint32_t devfn,
45 l4_uint32_t reg, l4_uint32_t value, l4_uint32_t width);
46
53int L4_CV
54l4vbus_pci_irq_enable(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
55 l4_uint32_t bus, l4_uint32_t devfn,
56 int pin, unsigned char *trigger,
57 unsigned char *polarity);
58
59
66int L4_CV
67l4vbus_pcidev_cfg_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
68 l4_uint32_t reg, l4_uint32_t *value, l4_uint32_t width);
69
76int L4_CV
77l4vbus_pcidev_cfg_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
78 l4_uint32_t reg, l4_uint32_t value, l4_uint32_t width);
79
86int L4_CV
87l4vbus_pcidev_irq_enable(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
88 unsigned char *trigger,
89 unsigned char *polarity);
90
91
92
94__END_DECLS
compiler.h
L4 compiler related defines.
l4_uint32_t
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition l4int.h:40
l4_cap_idx_t
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:359
__END_DECLS
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:199
L4_CV
#define L4_CV
Define calling convention.
Definition linkage.h:44
__BEGIN_DECLS
#define __BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:196
l4vbus_pci_cfg_write
int l4vbus_pci_cfg_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle, l4_uint32_t bus, l4_uint32_t devfn, l4_uint32_t reg, l4_uint32_t value, l4_uint32_t width)
Write to the vPCI configuration space using the PCI root bridge.
l4vbus_pcidev_irq_enable
int l4vbus_pcidev_irq_enable(l4_cap_idx_t vbus, l4vbus_device_handle_t handle, unsigned char *trigger, unsigned char *polarity)
Enable the device's PCI interrupt.
l4vbus_pci_cfg_read
int l4vbus_pci_cfg_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle, l4_uint32_t bus, l4_uint32_t devfn, l4_uint32_t reg, l4_uint32_t *value, l4_uint32_t width)
Read from the vPCI configuration space using the PCI root bridge.
l4vbus_pci_irq_enable
int l4vbus_pci_irq_enable(l4_cap_idx_t vbus, l4vbus_device_handle_t handle, l4_uint32_t bus, l4_uint32_t devfn, int pin, unsigned char *trigger, unsigned char *polarity)
Enable PCI interrupt for a specific device using the PCI root bridge.
l4vbus_pcidev_cfg_write
int l4vbus_pcidev_cfg_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle, l4_uint32_t reg, l4_uint32_t value, l4_uint32_t width)
Write to the device's vPCI configuration space.
l4vbus_pcidev_cfg_read
int l4vbus_pcidev_cfg_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle, l4_uint32_t reg, l4_uint32_t *value, l4_uint32_t width)
Read from the device's vPCI configuration space.
types.h
Common L4 ABI Data Types.
vbus_types.h
This header file contains descriptions of vbus related data types and constants.
l4vbus_device_handle_t
l4_mword_t l4vbus_device_handle_t
Device handle for a device on the vbus.
Definition vbus_types.h:20