Searched refs:irq_level (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_irq_controller.h32 * @function vm_set_irq_level(vcpu, irq, irq_level)
36 * @param {int} irq_level Value of 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 Di8259.c701 int vm_set_irq_level(vm_vcpu_t *vcpu, int irq, int irq_level) argument
708 ret = pic_set_irq1(&s->pics[irq >> 3], irq & 7, irq_level);

Completed in 64 milliseconds