Symbol: i8253_do_readback
usr.sbin/vmd/i8253.c
238
i8253_do_readback(out_data);
usr.sbin/vmd/i8253.h
52
void i8253_do_readback(uint32_t);