Symbol: vatpic_get_highest_irrpin
sys/amd64/vmm/io/vatpic.c
210
(pin = vatpic_get_highest_irrpin(atpic)) != -1) {
sys/amd64/vmm/io/vatpic.c
232
(pin = vatpic_get_highest_irrpin(atpic)) != -1) {
sys/amd64/vmm/io/vatpic.c
564
pin = vatpic_get_highest_irrpin(atpic);
sys/amd64/vmm/io/vatpic.c
567
pin = vatpic_get_highest_irrpin(atpic);
sys/amd64/vmm/io/vatpic.c
637
pin = vatpic_get_highest_irrpin(atpic);