|
|
1.1 root 1: #ifndef __KERNEL__TOID_H__
2: #define __KERNEL__TOID_H__
3:
4: /*
5: * This internal header file is intended as the sole point of definition for
6: * the DDI/DKI data type 'toid_t'. This type is used as a handle (or 'cookie')
7: * for timeout events so that they can be cancelled after being scheduled. The
8: * format of the handle data is opaque.
9: *
10: * Handles are never explicitly released in the DDI/DKI, so using a pointer to
11: * an event cell may not be a good idea (that's the theory; in practice, most
12: * clients of the DDI/DKI timeout system take care not to use a timeout handle
13: * once the timeout has run).
14: *
15: * Since clients need to pass these items as parameters and assign them to
16: * variables, a pointer to an incomplete type would be a natural
17: * representation. However, since a pointer is inappropriate here, we use a
18: * large scalar type. Clients are cautioned not to perform any operation other
19: * than assignment on such items, however.
20: */
21:
22: typedef unsigned long toid_t;
23:
24:
25: /*
26: * The maximum-value defined below can't be used without <limits.h>, but we
27: * define it here because it depends critically on the type of toid_t.
28: */
29:
30: #define TOID_MAX ULONG_MAX
31:
32: #endif /* ! defined (__KERNEL__TOID_H__) */
33:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.