Lines Matching refs:device
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);
28 * @function vm_install_ram_only_device(vm, device)
29 * Install a device backed by ram into a VM
30 * @param {vm_t *} vm A handle to the VM that the device should be install to
31 * @param {const struct device *} device A description of the device
34 int vm_install_ram_only_device(vm_t *vm, const struct device *device);
37 * @function vm_install_listening_device(vm, device)
38 * Install a passthrough device into a VM, but trap and print all access
39 * @param {vm_t *} vm A handle to the VM that the device should be install to
40 * @param {const struct device *} device A description of the device
43 int vm_install_listening_device(vm_t *vm, const struct device *device);