1018 #define	IDN_TCOOKIE(ck)		(((ck) >> 8) & 0xff)  argument
1019 #define	IDN_DCOOKIE(ck)		((ck) & 0xff)  argument
1415 #define	IDN_TIMER_STOP(tq, typ, ck) \  argument
1416 			((void) idn_timer_stop((tq), (typ), (ck)))
1419 #define	IDN_TIMER_GET(tq, typ, tp, ck) \  argument
1422 		(tp) = idn_timer_get((tq), (typ), (ck)); \
1458 #define	IDN_MSGTIMER_STOP(domid, typ, ck) \  argument
1464 				(domid), _str, (typ), (ck)); \
1465 		IDN_TIMER_STOP(&idn_domain[domid].dtimerq, (typ), (ck)); \
1467 #define	IDN_MSGTIMER_GET(dp, typ, tp, ck) \  argument
1468 			IDN_TIMER_GET(&(dp)->dtimerq, (typ), (tp), (ck))