Searched refs:aug_save_tid (Results 1 – 3 of 3) sorted by relevance
47 extern void aug_save_tid(dev_t, int);
247 aug_save_tid(dev_t port, int machine) in aug_save_tid() function
251 aug_save_tid;