Searched refs:new_domain (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/usr/acpi/
H A Dvtd_domains.h62 struct vtd_domain *new_domain = (struct vtd_domain *)malloc(sizeof(struct vtd_domain)); local
63 assert(new_domain != NULL);
64 new_domain->did = did;
65 new_domain->pt_gp = pt;
66 new_domain->pml4 = pml4;
67 new_domain->next = NULL;
68 new_domain->prev = NULL;
69 new_domain->units = units;
70 return new_domain;
H A Dintel_vtd.c367 struct vtd_domain *new_domain = vtd_new_domain(did, pt, pml4, vtd_units); local
368 vtd_insert_domain(new_domain, d, domains);
/barrelfish-master/usr/bench/net_latency/
H A Dmain.c41 struct capref new_domain; local
68 r = spawn_program(core, argv[0], argv, NULL, SPAWN_FLAGS_NEW_DOMAIN, &new_domain);
71 r = spawn_wait_core(core, new_domain, &code, false);
/barrelfish-master/usr/startd/
H A Dspawn.c176 struct capref new_domain; local
178 0, &new_domain);
253 domainid_t new_domain; local
255 NULL_CAP, NULL_CAP, 0, &new_domain);
452 struct capref new_domain; local
454 0, &new_domain);
463 struct capref new_domain; local
465 0, &new_domain);
/barrelfish-master/usr/tests/testdesc/
H A Dtestdesc.c163 struct capref new_domain; local
173 NULL_CAP, SPAWN_FLAGS_NEW_DOMAIN, &new_domain);
/barrelfish-master/usr/drivers/usb/usb_manager/
H A Dusb_driver.c311 struct capref new_domain; local
319 &new_domain);
/barrelfish-master/usr/drivers/xeon_phi/
H A Dmain_card.c191 struct capref new_domain; local
208 argcn_cap, 0, &new_domain);
/barrelfish-master/usr/tests/net-test/
H A Dnet-test.c49 struct capref new_domain; local
65 NULL_CAP, SPAWN_FLAGS_NEW_DOMAIN, &new_domain);

Completed in 172 milliseconds