Symbol: vatpic_get_highest_irrpin
usr/src/uts/intel/io/vmm/io/vatpic.c
221
(pin = vatpic_get_highest_irrpin(atpic)) != -1) {
usr/src/uts/intel/io/vmm/io/vatpic.c
238
(pin = vatpic_get_highest_irrpin(atpic)) != -1) {
usr/src/uts/intel/io/vmm/io/vatpic.c
550
pin = vatpic_get_highest_irrpin(atpic);
usr/src/uts/intel/io/vmm/io/vatpic.c
553
pin = vatpic_get_highest_irrpin(atpic);
usr/src/uts/intel/io/vmm/io/vatpic.c
625
pin = vatpic_get_highest_irrpin(atpic);