Symbol: iodev_read_4
sys/compat/x86bios/x86bios.c
478
val = iodev_read_4(port);
sys/dev/acpica/Osd/OsdHardware.c
85
*Value = iodev_read_4(InPort);
sys/dev/io/iodev.c
144
req->val = iodev_read_4(req->port);