Lines Matching defs:dset
1369 idnneg_dset_t dset;
1430 IDNNEG_DSET_INIT(dset, dmask);
1442 IDNNEG_DSET_SET(dset, d, cpuid, dmask);
1444 IDNNEG_DSET_SET_MASTER(dset, domid, masterid);
1471 IDNXDC(domid, &mt, ticket, dset[0], dset[1], dset[2]);
1680 idnneg_dset_t dset;
1779 GET_XARGS_NEGO_DSET(xargs, dset);
1781 IDNNEG_DSET_GET_MASK(dset, domid, dmask);
1782 IDNNEG_DSET_GET_MASTER(dset, new_masterid);
1788 * his cpuid in the dset. We may need
1794 IDNNEG_DSET_GET(dset, new_masterid, m_cpuid,
1818 IDNNEG_DSET_GET(dset, d, cpuid, dmask);
1954 * no dset and also pending_set will be 0.
1956 * look at the dset unless (msg != 0), implying
1972 IDNNEG_DSET_GET(dset, d, cpuid, dmask);
1974 PR_PROTO("%s:%d: failed to get cpuid from dset "
2133 idnneg_dset_t dset;
2143 IDNNEG_DSET_INIT(dset, dmask);
2153 IDNNEG_DSET_SET(dset, d, cpuid, dmask);
2155 IDNNEG_DSET_SET_MASTER(dset, domid, IDN_GET_MASTERID());
2162 SET_XARGS_NEGO_DSET(nargs, dset);