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