L4Re Operating System Framework
Interface and Usage Documentation
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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 * License: see LICENSE.spdx (in this directory or the directories above)
7 */
8#pragma once
9
10#include <l4/sys/compiler.h>
11#include <l4/vbus/vbus_types.h>
12#include <l4/sys/types.h>
13
21__BEGIN_DECLS
22
29int L4_CV
30l4vbus_pci_cfg_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
31 l4_uint32_t bus, l4_uint32_t devfn,
32 l4_uint32_t reg, l4_uint32_t *value, l4_uint32_t width);
33
40int L4_CV
41l4vbus_pci_cfg_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
42 l4_uint32_t bus, l4_uint32_t devfn,
43 l4_uint32_t reg, l4_uint32_t value, l4_uint32_t width);
44
51int L4_CV
52l4vbus_pci_irq_enable(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
53 l4_uint32_t bus, l4_uint32_t devfn,
54 int pin, unsigned char *trigger,
55 unsigned char *polarity);
56
57
64int L4_CV
65l4vbus_pcidev_cfg_read(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
66 l4_uint32_t reg, l4_uint32_t *value, l4_uint32_t width);
67
74int L4_CV
75l4vbus_pcidev_cfg_write(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
76 l4_uint32_t reg, l4_uint32_t value, l4_uint32_t width);
77
84int L4_CV
85l4vbus_pcidev_irq_enable(l4_cap_idx_t vbus, l4vbus_device_handle_t handle,
86 unsigned char *trigger,
87 unsigned char *polarity);
88
89
90
92__END_DECLS
compiler.h
L4 compiler related defines.
l4_uint32_t
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition l4int.h:29
l4_cap_idx_t
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:335
__END_DECLS
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:167
L4_CV
#define L4_CV
Define calling convention.
Definition linkage.h:33
__BEGIN_DECLS
#define __BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:164
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:18