Searched refs:get_vcpu_fault_ip (Results 1 - 9 of 9) sorted by relevance
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/ |
| H A D | guest_vcpu_fault.h | 30 * @function get_vcpu_fault_ip(vcpu)
35 seL4_Word get_vcpu_fault_ip(vm_vcpu_t *vcpu);
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
| H A D | vsysreg.c | 37 ZF_LOGD("[%s] pc0x%x| r0x%x:0x%x\n", dev->name, get_vcpu_fault_ip(vcpu),
40 ZF_LOGD("[%s] pc0x%x| w0x%x:0x%x\n", dev->name, get_vcpu_fault_ip(vcpu),
|
| H A D | vpower.c | 51 ZF_LOGD("[%s] pc0x%x| r0x%x:0x%x\n", dev->name, get_vcpu_fault_ip(vcpu),
85 dev->name, get_vcpu_fault_ip(vcpu), get_vcpu_fault_data(vcpu),
|
| H A D | vsdhc.c | 63 ZF_LOGD("[%s] pc0x%x| r0x%x:0x%x\n", d->name, get_vcpu_fault_ip(vcpu),
89 ZF_LOGD("[%s] pc0x%x| w0x%x:0x%x\n", d->name, get_vcpu_fault_ip(vcpu),
|
| H A D | vgpio.c | 104 get_vcpu_fault_ip(vcpu), addr,
110 get_vcpu_fault_ip(vcpu), addr,
154 gpio_devices[bank]->name, get_vcpu_fault_ip(vcpu),
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | guest_vcpu_fault_arch.c | 17 seL4_Word get_vcpu_fault_ip(vm_vcpu_t *vcpu) function
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_vcpu_fault_arch.c | 19 seL4_Word get_vcpu_fault_ip(vm_vcpu_t *vcpu) function
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
| H A D | ac_device.c | 48 dev->name, (void *) get_vcpu_fault_ip(vcpu),
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | device_utils.c | 99 (void *) get_vcpu_fault_ip(vcpu));
155 printf("Listener pc%p| %s%p:%p\n", (void *) get_vcpu_fault_ip(vcpu),
|
Completed in 200 milliseconds