Symbol: vatpic_pulse_irq
sys/amd64/vmm/io/vatpic.h
51
int vatpic_pulse_irq(struct vm *vm, int irq);
sys/amd64/vmm/io/vatpit.c
172
vatpic_pulse_irq(vatpit->vm, 0);
sys/amd64/vmm/io/vrtc.c
621
vatpic_pulse_irq(vrtc->vm, RTC_IRQ);
sys/amd64/vmm/vmm_dev_machdep.c
438
error = vatpic_pulse_irq(vm, isa_irq->atpic_irq);