version 1.4, 2006/02/16 20:17:20 |
version 1.4.12.3, 2006/12/30 20:50:55 |
|
|
|
|
/* |
/* |
* this header is intended to be included by MD header. |
* this header is intended to be included by MD header. |
|
* |
|
* an assumption: makeiplcookie() is reasonably fast. |
|
* if it isn't the case for your port, it's better to have MD optimized |
|
* splxxx() functions, rather than using this header. |
*/ |
*/ |
|
|
#if !defined(_KERNEL) |
#if !defined(_KERNEL) |
|
|
#endif /* !defined(_KERNEL) */ |
#endif /* !defined(_KERNEL) */ |
|
|
#define _SPL_DECL(x, X) \ |
#define _SPL_DECL(x, X) \ |
static __inline int spl##x(void) { return splraiseipl(IPL_##X); } |
static __inline int \ |
|
spl##x(void) \ |
|
{ return splraiseipl(makeiplcookie(IPL_##X)); } |
|
|
#if defined(IPL_SOFTCLOCK) |
#if defined(IPL_SOFTCLOCK) |
_SPL_DECL(softclock, SOFTCLOCK) |
_SPL_DECL(softclock, SOFTCLOCK) |