Symbol: iodev_write_4
sys/compat/x86bios/x86bios.c
530
iodev_write_4(port, val);
sys/dev/acpica/Osd/OsdHardware.c
104
iodev_write_4(OutPort, Value);
sys/dev/io/iodev.c
177
iodev_write_4(req->port, req->val);