dtrace_icookie_t
dtrace_icookie_t cookie;
dtrace_icookie_t cookie = dtrace_interrupt_disable();
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
extern dtrace_icookie_t dtrace_interrupt_disable(void);
extern void dtrace_interrupt_enable(dtrace_icookie_t);
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;
dtrace_icookie_t cookie;