Searched refs:vm_set_irq_level (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/ |
| H A D | guest_irq_controller.h | 32 * @function vm_set_irq_level(vcpu, irq, irq_level)
39 int vm_set_irq_level(vm_vcpu_t *vcpu, int irq, int irq_level);
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 701 int vm_set_irq_level(vm_vcpu_t *vcpu, int irq, int irq_level) function
719 vm_set_irq_level(vcpu, irq, 1);
720 vm_set_irq_level(vcpu, irq, 0);
|
Completed in 37 milliseconds