Searched refs:iodc_io (Results 1 – 2 of 2) sorted by relevance
1145 real32_call(PAGE0->mem_cons.iodc_io, in pdc_iodc_print()1167 if (!PAGE0->mem_kbd.iodc_io) in pdc_iodc_getc()1172 real32_call(PAGE0->mem_kbd.iodc_io, in pdc_iodc_getc()
704 unsigned int iodc_io; /* device entry point */ member