Searched refs:fault_length (Results 1 - 21 of 21) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/
H A Dguest_memory_helpers.c11 size_t fault_length, void *cookie)
10 default_error_fault_callback(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
H A Dguest_ram.c120 size_t fault_length, void *cookie)
119 default_ram_fault_callback(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_memory_helpers.h18 * @function default_error_fault_callback(vm, vcpu, fault_addr, fault_length, cookie)
24 * @param {size_t} fault_length Length of faulted access
29 size_t fault_length, void *cookie);
H A Dguest_memory.h59 * @param {size_t} fault_length Length of faulted access
64 size_t fault_length,
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvsdhc.c34 static memory_fault_result_t handle_sdhc_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
48 if (fault_length == sizeof(uint64_t)) {
60 assert(fault_length == sizeof(seL4_Word));
73 if (fault_length == sizeof(uint64_t)) {
84 assert(fault_length == sizeof(seL4_Word));
H A Dvgpio.c40 size_t fault_length, void *cookie);
42 size_t fault_length, void *cookie);
168 size_t fault_length, void *cookie)
171 return handle_vgpio_fault(vm, vcpu, dev, fault_addr, fault_length, GPIO_RIGHT_BANK);
175 size_t fault_length, void *cookie)
178 return handle_vgpio_fault(vm, vcpu, dev, fault_addr, fault_length, GPIO_LEFT_BANK);
167 handle_vgpio_right_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
174 handle_vgpio_left_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
H A Dvsysreg.c22 static memory_fault_result_t handle_vsysreg_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
H A Dvmct.c43 static memory_fault_result_t handle_vmct_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
H A Dvpower.c32 static memory_fault_result_t handle_vpower_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
H A Dvuart.c100 static memory_fault_result_t handle_vuart_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
H A Dirq_combiner.c135 static memory_fault_result_t vcombiner_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.h68 size_t fault_length, void *cookie);
H A Dlapic.c870 memory_fault_result_t apic_fault_callback(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
875 vm_apic_mmio_read(vcpu, cookie, APIC_DEFAULT_PHYS_BASE - fault_addr, fault_length, &data);
879 vm_apic_mmio_write(vcpu, cookie, APIC_DEFAULT_PHYS_BASE - fault_addr, fault_length, data);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/
H A Dusb.c38 static memory_fault_result_t handle_usb_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/
H A Dvpci.c115 static memory_fault_result_t pci_cfg_fault_handler(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
148 size_t fault_length, void *cookie)
166 emulate_io_handler(io_port, cfg_port, is_in, fault_length, (void *)&value);
169 memcpy(&fault_data, (void *)&value, fault_length);
147 pci_cfg_io_fault_handler(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
H A Dgeneric_forward_device.c19 static memory_fault_result_t handle_gf_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
H A Dac_device.c21 static memory_fault_result_t handle_gac_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
H A Dvusb.c242 static memory_fault_result_t handle_vusb_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/
H A Ddevice_utils.c34 size_t fault_length, void *cookie)
73 size_t fault_length, void *cookie)
139 size_t fault_length, void *cookie)
33 passthrough_device_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
72 handle_listening_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
138 handle_listening_ram_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c633 size_t fault_length,
788 size_t fault_length,
966 size_t fault_length,
970 return handle_vgic_dist_read_fault(vm, vcpu, fault_addr, fault_length, cookie);
972 return handle_vgic_dist_write_fault(vm, vcpu, fault_addr, fault_length, cookie);
1071 size_t fault_length,
632 handle_vgic_dist_read_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
787 handle_vgic_dist_write_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
965 handle_vgic_dist_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
1070 handle_vgic_vcpu_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c110 size_t fault_length, void *cookie)
109 handle_event_bar_fault(vm_t *vm, vm_vcpu_t *vcpu, uintptr_t fault_addr, size_t fault_length, void *cookie) argument

Completed in 67 milliseconds