Searched refs:vm (Results 1 - 25 of 108) sorted by relevance

12345

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dguest_irq_controller.c9 int vm_create_default_irq_controller(vm_t *vm) argument
11 if (!vm) {
12 ZF_LOGE("Failed to initialise default irq controller: Invalid vm");
15 return vm_install_vgic(vm);
H A Dboot.c29 int vm_init_arch(vm_t *vm) argument
38 if (!vm) {
39 ZF_LOGE("Failed to initialise vm arch: Invalid vm");
44 vka = vm->vka;
45 err = vka_alloc_cnode_object(vka, VM_CSPACE_SIZE_BITS, &vm->cspace.cspace_obj);
47 vka_cspace_make_path(vka, vm->cspace.cspace_obj.cptr, &src);
48 vm->cspace.cspace_root_data = api_make_guard_skip_word(seL4_WordBits - VM_CSPACE_SIZE_BITS);
49 dst.root = vm->cspace.cspace_obj.cptr;
52 err = vka_cnode_mint(&dst, &src, seL4_AllRights, vm
66 vm_create_vcpu_arch(vm_t *vm, vm_vcpu_t *vcpu) argument
[all...]
H A Dsyscalls.c18 #include "vm.h"
21 static void sys_pa_to_ipa(vm_t *vm, seL4_UserContext *regs) argument
29 ZF_LOGD("PA translation syscall from [%s]: 0x%08x->?\n", vm->vm_name, pa);
40 static void sys_ipa_to_pa(vm_t *vm, seL4_UserContext *regs)
50 cap = vspace_get_cap(vm_get_vspace(vm), (void *)ipa);
52 err = vm_alloc_guest_ram_at(vm, ipa, 0x1000);
57 cap = vspace_get_cap(vm_get_vspace(vm), (void *)ipa);
64 vm->vm_name, ipa, ret.paddr);
72 static void sys_nop(vm_t *vm, seL4_UserContext *regs) argument
74 ZF_LOGD("NOP syscall from [%s]\n", vm
82 vm_t *vm; local
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.h12 int i8259_pre_init(vm_t *vm);
15 int i8259_get_interrupt(vm_t *vm);
16 int i8259_has_interrupt(vm_t *vm);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm_util.h11 * The libsel4vm VM util interface provides a set of useful methods to query a guest vm instance.
28 * @function vm_get_vcpu(vm, vcpu_id)
30 * @param {vm_t *} vm A handle to the vm owning the vcpu
34 static inline seL4_CPtr vm_get_vcpu(vm_t *vm, int vcpu_id) argument
36 if (vcpu_id >= vm->num_vcpus) {
39 return vm->vcpus[vcpu_id]->vcpu.cptr;
43 * @function vm_vcpu_for_target_cpu(vm, target_cpu)
45 * @param {vm_t *} vm A handle to the vm ownin
49 vm_vcpu_for_target_cpu(vm_t *vm, int target_cpu) argument
65 vm_find_free_unassigned_vcpu(vm_t *vm) argument
92 vm_get_vspace(vm_t *vm) argument
103 vm_get_vmm_vspace(vm_t *vm) argument
[all...]
H A Dguest_ram.h19 * @param {vm_t *} vm A handle to the VM
27 typedef int (*ram_touch_callback_fn)(vm_t *vm, uintptr_t guest_addr, void *vmm_vaddr, size_t size, size_t offset,
31 * @function vm_guest_ram_read_callback(vm, guest_addr, vaddr, size, offset, buf)
33 * @param {vm_t *} vm A handle to the VM
41 int vm_guest_ram_read_callback(vm_t *vm, uintptr_t guest_addr, void *vaddr, size_t size, size_t offset, void *buf);
44 * @function vm_guest_ram_write_callback(vm, guest_addr, vaddr, size, offset, buf)
46 * @param {vm_t *} vm A handle to the VM
54 int vm_guest_ram_write_callback(vm_t *vm, uintptr_t guest_addr, void *vaddr, size_t size, size_t offset, void *buf);
57 * @function vm_ram_touch(vm, addr, size, touch_callback, cookie)
58 * Touch a series of pages in the guest vm an
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dvm.c14 #include "vm.h"
16 int vm_run(vm_t *vm) argument
18 return vm_run_arch(vm);
21 int vm_register_unhandled_mem_fault_callback(vm_t *vm, unhandled_mem_fault_callback_fn fault_handler, argument
24 if (!vm) {
33 vm->mem.unhandled_mem_fault_handler = fault_handler;
34 vm->mem.unhandled_mem_fault_cookie = cookie;
38 int vm_register_notification_callback(vm_t *vm, notification_callback_fn notification_callback, argument
41 if (!vm) {
50 vm
[all...]
H A Dboot.c23 int vm_init(vm_t *vm, vka_t *vka, simple_t *host_simple, vspace_t host_vspace, argument
27 bzero(vm, sizeof(vm_t));
28 /* Initialise vm fields */
29 vm->vka = vka;
30 vm->simple = host_simple;
31 vm->io_ops = io_ops;
32 vm->mem.vmm_vspace = host_vspace;
33 vm->host_endpoint = host_endpoint;
34 vm->vm_name = strndup(name, strlen(name));
35 vm
59 vm_create_vcpu(vm_t *vm, int priority) argument
[all...]
H A Dvm_boot.h11 int vm_init_arch(vm_t *vm);
12 int vm_create_vcpu_arch(vm_t *vm, vm_vcpu_t *vcpu);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/arm/sel4vm/arch/
H A Dguest_memory_arch.h9 typedef struct vm vm_t;
13 * @param[in] vm A handle to the vm
18 uintptr_t vm_arm_ipa_to_pa(vm_t *vm, uintptr_t ipa_base, size_t size);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/plat_include/exynos5/sel4vmmplatsupport/plat/
H A Dvsdhc.h13 int vm_install_nodma_sdhc0(vm_t *vm);
14 int vm_install_nodma_sdhc2(vm_t *vm);
H A Dvsysreg.h11 int vm_install_vsysreg(vm_t *vm);
H A Dirq_combiner.h16 int vm_install_vcombiner(vm_t *vm);
17 void vm_combiner_irq_handler(vm_t *vm, int irq);
H A Dvpower.h11 typedef int (*vm_power_cb)(vm_t *vm, void *token);
12 int vm_install_vpower(vm_t *vm, vm_power_cb shutdown_cb, void *shutdown_token,
H A Dvmct.h12 int vm_install_vmct(vm_t *vm);
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/
H A Dguest_irq_controller.c14 int vm_create_default_irq_controller(vm_t *vm) argument
18 if (!vm) {
19 ZF_LOGE("Failed to initialise default irq controller: Invalid vm");
23 err = i8259_pre_init(vm);
29 vm_memory_reservation_t *apic_reservation = vm_reserve_memory_at(vm, APIC_DEFAULT_PHYS_BASE,
H A Dvmcall.c11 #include "vm.h"
15 static vmcall_handler_t *get_handle(vm_t *vm, int token);
17 static vmcall_handler_t *get_handle(vm_t *vm, int token) argument
20 for (i = 0; i < vm->arch.vmcall_num_handlers; i++) {
21 if (vm->arch.vmcall_handlers[i].token == token) {
22 return &vm->arch.vmcall_handlers[i];
29 int vm_reg_new_vmcall_handler(vm_t *vm, vmcall_handler func, int token) argument
31 unsigned int *hnum = &(vm->arch.vmcall_num_handlers);
32 if (get_handle(vm, token) != NULL) {
36 vm
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/
H A Ddevice_utils.h19 * @function vm_install_passthrough_device(vm, device)
21 * @param {vm_t *} vm A handle to the VM that the device should be install to
25 int vm_install_passthrough_device(vm_t *vm, const struct device *device);
28 * @function vm_install_ram_only_device(vm, device)
30 * @param {vm_t *} vm A handle to the VM that the device should be install to
34 int vm_install_ram_only_device(vm_t *vm, const struct device *device);
37 * @function vm_install_listening_device(vm, device)
39 * @param {vm_t *} vm A handle to the VM that the device should be install to
43 int vm_install_listening_device(vm_t *vm, const struct device *device);
H A Dguest_memory_util.h17 * @function create_allocated_reservation_frame(vm, addr, rights, alloc_fault_callback, alloc_fault_cookie)
18 * Create and map a reservation for a vka allocated frame. The allocated frame is mapped in both the vm and vmm vspace
19 * @param {vm_t *} vm A handle to the VM
21 * @param {seL4_CapRights_t} rights Rights for mapping the allocated frame into the vm's vspace
26 void *create_allocated_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights,
29 * @function create_device_reservation_frame(vm, addr, rights, fault_callback, fault_cookie)
30 * Create and map a reservation for a device frame. The device frame is mapped in both the vm and vmm vspace
31 * @param {vm_t *} vm A handle to the VM
33 * @param {seL4_CapRights_t} rights Rights for mapping the device frame into the vm's vspace
38 void *create_device_reservation_frame(vm_t *vm, uintptr_
[all...]
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dvmcall.h18 * @function vm_reg_new_vmcall_handler(vm, func, token)
21 * @param {vm_t *} vm A handle to the VM
27 int vm_reg_new_vmcall_handler(vm_t *vm, vmcall_handler func, int token);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/arch_include/arm/sel4vmmplatsupport/arch/
H A Dguest_vcpu_util.h15 * @function fdt_generate_plat_vcpu_node(vm, fdt)
18 * @param {vm_t *} vm A handle to the VM
22 int fdt_generate_plat_vcpu_node(vm_t *vm, void *fdt);
H A Dservice.h13 * @param[in] vm The VM to install the service into
19 int vmm_install_service(vm_t *vm, seL4_CPtr service, int index, uint32_t badge);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dvirtio_emul_helpers.h11 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size);
13 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size);
H A Dvirtio_emul_helpers.c12 static int read_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
19 static int write_guest_mem(vm_t *vm, uintptr_t phys, void *vaddr, size_t size, size_t offset, void *cookie) argument
26 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument
28 return vm_ram_touch(vm, address, size, write_guest_mem, data);
31 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument
33 return vm_ram_touch(vm, address, size, read_guest_mem, data);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/
H A Dguest_memory_util.c24 vm_t *vm; member in struct:device_frame_cookie
31 vm_t *vm; member in struct:ut_alloc_iterator_cookie
40 vm_t *vm; local
48 vm = device_cookie->vm;
51 int ret = vka_cspace_alloc_path(vm->vka, &return_frame);
59 vka_cspace_free_path(vm->vka, return_frame);
79 vm_t *vm = alloc_cookie->vm; local
91 error = vka_cspace_alloc_path(vm
121 vm_t *vm = (vm_t *)cookie; local
144 vm_t *vm = (vm_t *)cookie; local
162 create_allocated_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights, memory_fault_callback_fn alloc_fault_callback, void *alloc_fault_cookie) argument
222 create_device_reservation_frame(vm_t *vm, uintptr_t addr, seL4_CapRights_t rights, memory_fault_callback_fn fault_callback, void *fault_cookie) argument
297 map_ut_alloc_reservation(vm_t *vm, vm_memory_reservation_t *reservation) argument
312 map_ut_alloc_reservation_with_base_paddr(vm_t *vm, uintptr_t paddr, vm_memory_reservation_t *reservation) argument
328 map_frame_alloc_reservation(vm_t *vm, vm_memory_reservation_t *reservation) argument
333 map_maybe_device_reservation(vm_t *vm, vm_memory_reservation_t *reservation) argument
[all...]

Completed in 160 milliseconds

12345