Symbol: vatpic_read
sys/amd64/vmm/io/vatpic.c
726
return (vatpic_read(vatpic, atpic, in, port, bytes, eax));
sys/amd64/vmm/io/vatpic.c
746
return (vatpic_read(vatpic, atpic, in, port, bytes, eax));