| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
| H A D | device.h | 27 struct device { struct
[all...] |
| /seL4-camkes-master/kernel/tools/hardware/outputs/ |
| H A D | elfloader.py | 17 from hardware import config, device, fdt namespace
|
| /seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_chardev.c | 31 keyboard_getchar(struct ps_chardevice *device) argument
|
| H A D | serial.c | 44 int uart_getchar(ps_chardevice_t *device) argument
67 static int serial_ready(ps_chardevice_t* device) argument
78 int uart_putchar(ps_chardevice_t* device, int c) argument
[all...] |
| H A D | ltimer.c | 39 hpet_t device; member in struct:__anon81::__anon82::__anon83
45 pit_t device; member in struct:__anon81::__anon82::__anon84
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/pci/ |
| H A D | rumphyper_pci.c | 81 rumpcomp_pci_irq_map(unsigned bus, unsigned device, unsigned fun, argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | virtqueue.h | 104 static inline int camkes_virtqueue_device_init(virtqueue_device_t *device, unsigned int camkes_virtqueue_id) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | virtqueue_common.c | 85 int camkes_virtqueue_device_init_common(virtqueue_device_t *device, volatile void *buffer, unsigned queue_len, argument
|
| H A D | virtqueue.c | 123 int camkes_virtqueue_device_init_with_recv(virtqueue_device_t *device, unsigned int camkes_virtqueue_id, argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | device_utils.c | 15 int vm_install_ram_only_device(vm_t *vm, const struct device *device) argument
40 int vm_install_passthrough_device(vm_t *vm, const struct device *device) argument
[all...] |
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | virtio_emul.c | 109 virtio_emul_init(ps_io_ops_t io_ops, int queue_size, vm_t *vm, void *driver, void *config, virtio_pci_devices_t device) argument
|
| /seL4-camkes-master/projects/util_libs/libpci/src/ |
| H A D | pci.c | 58 libpci_device_t* libpci_find_device_matching(libpci_device_t *device) { argument
[all...] |
| H A D | virtual_pci.c | 23 bool libpci_virtual_pci_device_allow(libpci_virtual_pci_t* self, libpci_device_t *device) { argument
52 bool libpci_virtual_pci_device_disallow(libpci_virtual_pci_t* self, const libpci_device_t *device) { argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/hw/pci/ |
| H A D | rumppci.c | 147 rumpcomp_pci_irq_map(unsigned bus, unsigned device, unsigned fun, argument
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | simple.c | 79 static seL4_CPtr simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
|
| /seL4-camkes-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | acpi.h | 66 dev_id_t device; member in struct:acpi_rmrr_entry
|
| /seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
| H A D | server_virtqueue.c | 50 static void write_callback(ps_chardevice_t *device, enum chardev_status stat, argument
65 static void read_callback(ps_chardevice_t *device, enum chardev_status stat, argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4bga/src/arch-x86/ |
| H A D | bga.c | 35 static void write_data(bga_p device, uint16_t index, uint16_t data) argument
41 static uint16_t read_data(bga_p device, uint16_t index) argument
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/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/tables/ |
| H A D | dmar.h | 43 uint8_t device; member in struct:acpi_device_path
[all...] |
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_slaacv4.c | 54 struct pico_device *device; member in struct:slaacv4_cookie
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
| H A D | rumppci.c | 143 int rumpcomp_pci_irq_map(unsigned bus, unsigned device, unsigned fun, argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 142 seL4_CPtr simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.simple.c | 193 int device; member in struct:camkes_untyped
215 static seL4_CPtr simple_camkes_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) { argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/ |
| H A D | simple.h | 448 simple_get_nth_untyped(simple_t *simple, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 245 bool device; local
1126 bool device; local
[all...] |