#include <osspec.h>
Definition at line 22 of file osspec.h.
Definition at line 23 of file osspec.h.
Referenced by tos_getcookie().
Definition at line 24 of file osspec.h.