/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | guest_memory_helpers.c | 11 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 D | guest_ram.c | 120 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 D | guest_memory_helpers.h | 18 * @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 D | guest_memory.h | 59 * @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 D | vsdhc.c | 34 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 D | vgpio.c | 40 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 D | vsysreg.c | 22 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 D | vmct.c | 43 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 D | vpower.c | 32 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 D | vuart.c | 100 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 D | irq_combiner.c | 135 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 D | lapic.h | 68 size_t fault_length, void *cookie);
|
H A D | lapic.c | 870 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 D | usb.c | 38 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 D | vpci.c | 115 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 D | generic_forward_device.c | 19 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 D | ac_device.c | 21 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 D | vusb.c | 242 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 D | device_utils.c | 34 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 D | vgic.c | 633 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 D | cross_vm_connection.c | 110 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
|