Searched defs:vm_inject_irq (Results 1 - 2 of 2) sorted by relevance

/seL4-test-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-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c1053 int vm_inject_irq(vm_vcpu_t *vcpu, int irq) function

Completed in 91 milliseconds