1070 #define	IDNNEG_DSET_SET(dset, domid, cpuid, mask) \  argument
1084 #define	__IDNNEG_DSET_GET(dset, domid, cpuid, mask, uncond) \  argument
1099 #define	IDNNEG_DSET_GET_MASK(dset, domid, mask) \  argument
1106 #define	IDNNEG_DSET_SET_MASTER(dset, domid, master) \  argument
1110 #define	IDNNEG_DSET_GET(dset, domid, cpuid, mask) \  argument
1436 #define	IDN_MSGTIMER_START(domid, typ, subtyp, tim, ckp) \  argument
1458 #define	IDN_MSGTIMER_STOP(domid, typ, ck) \  argument
1546 	int		domid;  member
3795 		int		domid;		/* input */  member
3801 		int		domid;		/* input */  member
3807 		int		domid;		/* input */  member