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