/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/ |
H A D | devices.h | 12 #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 D | vuart.h | 12 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 D | vsdhc.h | 11 const struct device dev_msh0; 12 const struct device dev_msh2;
|
H A D | vmct.h | 11 extern const struct device dev_vmct_timer;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | device_utils.h | 11 * 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 D | device.h | 10 * @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 D | devices.h | 11 #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 D | bga.c | 29 /* 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 D | bga.h | 10 /* 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 D | vclock.c | 9 #include <sel4vmmplatsupport/device.h> 11 const struct device dev_clkcar = {
|
H A D | misc_devices.c | 8 #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 D | vuart.c | 12 const struct device dev_uartd = {
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | device.c | 11 #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 D | device_utils.c | 12 #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 D | misc_devices.c | 6 #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 D | irq_combiner.h | 9 #include <sel4vmmplatsupport/device.h> 20 extern const struct device dev_irq_combiner;
|
H A D | vsysreg.c | 13 #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 D | vuart.c | 13 #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 D | ac_device.h | 11 * 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 D | generic_forward_device.h | 10 * 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 D | generic_forward_device.c | 13 #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 D | ac_device.c | 11 #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 D | serial.c | 44 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 D | cpu.py | 9 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 D | pico_slaacv4.c | 54 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...] |