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

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c724 int vm_register_irq(vm_vcpu_t *vcpu, int irq, irq_ack_fn_t fn, void *cookie) function
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/vgic/
H A Dvgic.c1031 int vm_register_irq(vm_vcpu_t *vcpu, int irq, irq_ack_fn_t ack_fn, void *cookie) function

Completed in 25 milliseconds