/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | guest_irq_controller.c | 9 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 D | boot.c | 29 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 D | syscalls.c | 18 #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 D | i8259.h | 12 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 D | guest_vm_util.h | 11 * 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 D | guest_ram.h | 19 * @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 D | vm.c | 14 #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 D | boot.c | 23 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 D | vm_boot.h | 11 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 D | guest_memory_arch.h | 9 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 D | vsdhc.h | 13 int vm_install_nodma_sdhc0(vm_t *vm); 14 int vm_install_nodma_sdhc2(vm_t *vm);
|
H A D | vsysreg.h | 11 int vm_install_vsysreg(vm_t *vm);
|
H A D | irq_combiner.h | 16 int vm_install_vcombiner(vm_t *vm); 17 void vm_combiner_irq_handler(vm_t *vm, int irq);
|
H A D | vpower.h | 11 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 D | vmct.h | 12 int vm_install_vmct(vm_t *vm);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | guest_irq_controller.c | 14 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 D | vmcall.c | 11 #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 D | device_utils.h | 19 * @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 D | guest_memory_util.h | 17 * @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 D | vmcall.h | 18 * @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 D | guest_vcpu_util.h | 15 * @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 D | service.h | 13 * @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 D | virtio_emul_helpers.h | 11 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 D | virtio_emul_helpers.c | 12 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 D | guest_memory_util.c | 24 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...] |