Searched refs:pic_clear_isr (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 169 static void pic_clear_isr(vm_t *vm, struct i8259_state *s, int irq) function
282 pic_clear_isr(vm, s, irq);
336 pic_clear_isr(vcpu->vm, s, irq);
343 pic_clear_isr(vcpu->vm, s, irq);
355 pic_clear_isr(vcpu->vm, s, irq);
418 pic_clear_isr(vm, s, ret);
562 pic_clear_isr(vm, s, irq);
|
Completed in 76 milliseconds