Searched refs:vki_o_dev_t (Results 1 – 1 of 1) sorted by relevance
86 #define vki_o_dev_t o_dev_t macro1550 vki_o_dev_t pr_ottydev; /* short tty device number */