Searched refs:device (Results 1 - 25 of 104) sorted by relevance

12345

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Ddevices.h12 #include <sel4vmmplatsupport/device.h>
20 extern const struct device dev_acp;
21 extern const struct device dev_i2c1;
22 extern const struct device dev_i2c2;
23 extern const struct device dev_i2c4;
24 extern const struct device dev_i2chdmi;
25 extern const struct device dev_usb2_ohci;
26 extern const struct device dev_usb2_ehci;
27 extern const struct device dev_usb2_ctrl;
28 extern const struct device dev_gpio_lef
[all...]
H A Dvuart.h12 extern const struct device dev_uart0;
13 extern const struct device dev_uart1;
14 extern const struct device dev_uart2;
15 extern const struct device dev_uart3;
18 * Installs a UART device which provides access to FIFO and IRQ
20 * @param[in] vm The vm in which to install the device
21 * @param[in] d A description of the UART device
24 int vm_install_ac_uart(vm_t *vm, const struct device *d);
27 * Installs the default console device. Characters written to the
30 * @param[in] vm The VM in which to install the vconsole device
[all...]
H A Dvsdhc.h11 const struct device dev_msh0;
12 const struct device dev_msh2;
H A Dvmct.h11 extern const struct device dev_vmct_timer;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Ddevice_utils.h11 * The device utils interface provides various helpers to establish different types devices for a given VM
16 #include <sel4vmmplatsupport/device.h>
19 * @function vm_install_passthrough_device(vm, device)
20 * Install a passthrough device into a VM
21 * @param {vm_t *} vm A handle to the VM that the device should be install to
22 * @param {const struct device *} device A description of the device
25 int vm_install_passthrough_device(vm_t *vm, const struct device *device);
[all...]
H A Ddevice.h10 * @module device.h
11 * The device.h interface provides a series of datastructures and helpers to manage VMM devices.
18 * @struct device
20 * @param {const char *} name A string representation of the device. Useful for debugging
21 * @param {seL4_Word} pstart The physical address of the device
27 struct device { struct
31 int (*handle_device_fault)(vm_t *vm, vm_vcpu_t *vcpu, struct device *dev, uintptr_t addr, size_t len);
38 * @param {struct device *} devices List of registered devices
42 struct device *devices;
48 * Initialise an empty device lis
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/tk1/sel4vmmplatsupport/plat/
H A Ddevices.h11 #include <sel4vmmplatsupport/device.h>
16 extern const struct device dev_uartd;
17 extern const struct device dev_clkcar;
18 extern const struct device dev_usb1;
19 extern const struct device dev_usb3;
20 extern const struct device dev_sdmmc;
21 extern const struct device dev_rtc_kbc_pmc;
22 extern const struct device dev_data_memory;
23 extern const struct device dev_exception_vectors;
24 extern const struct device dev_system_register
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/src/arch-x86/
H A Dbga.c29 /* The BGA device is controlled by operating on two IO ports, first the index
35 static void write_data(bga_p device, uint16_t index, uint16_t data) argument
37 assert(device != NULL);
38 device->write(INDEX, index);
39 device->write(DATA, data);
41 static uint16_t read_data(bga_p device, uint16_t index) argument
43 assert(device != NULL);
44 device->write(INDEX, index);
45 return device->read(DATA);
49 * or 0x0001 to the data port to disable or enable the device respectivel
52 disable(bga_p device) argument
57 enable(bga_p device) argument
67 bga_version(bga_p device) argument
80 bga_p device = (bga_p)malloc(sizeof(struct bga)); local
93 bga_destroy(bga_p device) argument
99 bga_set_mode(bga_p device, unsigned int width, unsigned int height, unsigned int bpp) argument
123 bga_set_pixel(bga_p device, unsigned int x, unsigned int y, char *value) argument
168 bga_get_framebuffer(bga_p device) argument
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/arch_include/x86/bga/
H A Dbga.h10 /* More information about the BGA device itself is available from
14 /* Opaque pointer as a handle to the device. */
18 * framebuffer - A pointer to the device frame mapped into your address space.
26 /* Destroy and clean up resources associated with an initialised device.
29 int bga_destroy(bga_p device);
31 /* Get the version number of this device. */
32 uint16_t bga_version(bga_p device);
34 /* Set the mode of the device. Returns 0 on success. On error, the device might
40 int bga_set_mode(bga_p device, unsigne
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/
H A Dvclock.c9 #include <sel4vmmplatsupport/device.h>
11 const struct device dev_clkcar = {
H A Dmisc_devices.c8 #include <sel4vmmplatsupport/device.h>
10 const struct device dev_usb1 = {
19 const struct device dev_usb3 = {
27 const struct device dev_sdmmc = {
35 const struct device dev_rtc_kbc_pmc = {
43 const struct device dev_data_memory = {
51 const struct device dev_exception_vectors = {
59 const struct device dev_system_registers = {
67 const struct device dev_ictlr = {
75 const struct device dev_apb_mis
[all...]
H A Dvuart.c12 const struct device dev_uartd = {
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice.c11 #include <sel4vmmplatsupport/device.h>
22 return ((const struct device *)a)->pstart - ((const struct device *)b)->pstart;
25 int add_device(device_list_t *list, const struct device *d)
31 struct device *updated_devices = realloc(list->devices, sizeof(struct device) * (list->num_devices + 1));
36 memcpy(&list->devices[list->num_devices++], d, sizeof(struct device));
37 qsort(list->devices, list->num_devices, sizeof(struct device), dev_cmp);
41 struct device *
44 struct device *de
[all...]
H A Ddevice_utils.c12 #include <sel4vmmplatsupport/device.h>
15 int vm_install_ram_only_device(vm_t *vm, const struct device *device) argument
17 struct device d;
20 d = *device;
36 ZF_LOGE("Fault occured on passthrough device");
40 int vm_install_passthrough_device(vm_t *vm, const struct device *device) argument
42 struct device d;
45 d = *device;
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dmisc_devices.c6 #include <sel4vmmplatsupport/device.h>
10 const struct device dev_i2c1 = {
19 const struct device dev_i2c2 = {
28 const struct device dev_i2c4 = {
36 const struct device dev_i2chdmi = {
45 const struct device dev_usb2_ohci = {
54 const struct device dev_usb2_ehci = {
63 const struct device dev_usb2_ctrl = {
71 const struct device dev_ps_chip_id = {
80 const struct device dev_ps_tx_mixe
[all...]
H A Dirq_combiner.h9 #include <sel4vmmplatsupport/device.h>
20 extern const struct device dev_irq_combiner;
H A Dvsysreg.c13 #include <sel4vmmplatsupport/device.h>
25 struct device *dev = (struct device *)cookie;
48 const struct device dev_sysreg = {
58 struct device *d;
61 d = (struct device *)calloc(1, sizeof(struct device));
62 memcpy(d, &dev_sysreg, sizeof(struct device));
64 /* Initialise the virtual device */
H A Dvuart.c13 #include <sel4vmmplatsupport/device.h>
46 static inline void *vuart_priv_get_regs(struct device *d)
51 static void vuart_reset(struct device *d)
63 static void flush_vconsole_device(struct device *d)
83 static void vuart_putchar(struct device *d, char c)
106 struct device *dev;
107 dev = (struct device *)cookie;
125 /* Blindly write to the device */
139 const struct device dev_uart0 = {
146 const struct device dev_uart
[all...]
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dac_device.h11 * The ARM access control device interface facilitates the creation of generic virtual devices in a VM instance with
12 * access control permissions over the devices addressable memory. An access controlled device is often used to abstract
13 * the memory of a specific platform hardware device e.g a clock device. This allows the user to present hardware devices
19 #include <sel4vmmplatsupport/device.h>
34 * Installs a generic access controlled device
35 * @param {vm_t *} vm The VM to install the device into
36 * @param {const struct device *} d A description of the device to install
37 * @param {void *} mask An access mask. The mask provides a map of device bit
[all...]
H A Dgeneric_forward_device.h10 * This interface facilitates the creation of a virtual device used for
12 * a device frame for a real device can be given to a different CAmkES component
13 * and this virtual device will forward read and write faults over a CAmkES
19 #include <sel4vmmplatsupport/device.h>
37 * Install the virtual forwarding device into a VM instance
39 * @param {const struct device *} Virtual device being forwarded
43 int vm_install_generic_forward_device(vm_t *vm, const struct device *d,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dgeneric_forward_device.c13 #include <sel4vmmplatsupport/device.h>
22 struct device *dev = (struct device *)cookie;
52 int vm_install_generic_forward_device(vm_t *vm, const struct device *d,
56 struct device *dev;
59 dev = (struct device *)calloc(1, sizeof(struct device));
63 memcpy(dev, d, sizeof(struct device));
74 /* Add the device */
H A Dac_device.c11 #include <sel4vmmplatsupport/device.h>
24 struct device *dev = (struct device *)cookie;
74 int vm_install_generic_ac_device(vm_t *vm, const struct device *d, void *mask,
78 struct device *dev;
83 dev = (struct device *)calloc(1, sizeof(struct device));
87 memcpy(dev, d, sizeof(struct device));
99 /* Map the device */
108 /* Add the device */
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c44 int uart_getchar(ps_chardevice_t *device) argument
47 uint32_t io_port = (uint32_t) (uintptr_t)device->vaddr;
50 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res);
59 error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, RBR), 1, &res);
67 static int serial_ready(ps_chardevice_t* device) argument
69 uint32_t io_port = (uint32_t) (uintptr_t)device->vaddr;
71 int error = ps_io_port_in(&device->ioops.io_port_ops, CONSOLE(io_port, LSR), 1, &res);
78 int uart_putchar(ps_chardevice_t* device, int c) argument
80 uint32_t io_port = (uint32_t) (uintptr_t)device->vaddr;
83 if (!serial_ready(device)) {
[all...]
/seL4-camkes-master/kernel/tools/hardware/utils/
H A Dcpu.py9 from hardware.device import WrappedNode
17 ' Return a list of all the CPUs described in this device tree. '
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_slaacv4.c54 struct pico_device *device; member in struct:slaacv4_cookie
86 ck->device = dev;
109 pico_arp_request(tmp->device, &tmp->ip, PICO_ARP_ANNOUNCE);
122 pico_ipv4_link_add(tmp->device, tmp->ip, netmask);
135 pico_arp_request(tmp->device, &tmp->ip, PICO_ARP_PROBE);
169 pico_ipv4_link_del(tmp->device, tmp->ip);
178 tmp->ip.addr = pico_slaacv4_getip(tmp->device, (uint8_t)1);
179 pico_arp_register_ipconflict(&tmp->ip, &tmp->device->eth->mac, pico_slaacv4_receive_ipconflict);
180 pico_arp_request(tmp->device, &tmp->ip, PICO_ARP_PROBE);
195 tmp->ip.addr = pico_slaacv4_getip(tmp->device, (uint8_
[all...]

Completed in 81 milliseconds

12345