Symbol: vatpic_write
usr/src/uts/intel/io/vmm/io/vatpic.c
714
return (vatpic_write(vatpic, atpic, in, port, bytes, eax));
usr/src/uts/intel/io/vmm/io/vatpic.c
731
return (vatpic_write(vatpic, atpic, in, port, bytes, eax));