Searched refs:vm_inject_irq (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_irq_controller.h23 * @function vm_inject_irq(vcpu, irq)
29 int vm_inject_irq(vm_vcpu_t *vcpu, int irq);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c95 err = vm_inject_irq(vcpu, ppi_irq);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c239 int err = vm_inject_irq(vm->vcpus[BOOT_VCPU], conn_info->connection_irq);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c717 int vm_inject_irq(vm_vcpu_t *vcpu, int irq) function
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c941 vm_inject_irq(target_vcpu, virq);
1053 int vm_inject_irq(vm_vcpu_t *vcpu, int irq) function

Completed in 42 milliseconds