Searched refs:new_domain (Results 1 - 8 of 8) sorted by relevance
/barrelfish-master/usr/acpi/ |
H A D | vtd_domains.h | 62 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 D | intel_vtd.c | 367 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 D | main.c | 41 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 D | spawn.c | 176 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 D | testdesc.c | 163 struct capref new_domain; local 173 NULL_CAP, SPAWN_FLAGS_NEW_DOMAIN, &new_domain);
|
/barrelfish-master/usr/drivers/usb/usb_manager/ |
H A D | usb_driver.c | 311 struct capref new_domain; local 319 &new_domain);
|
/barrelfish-master/usr/drivers/xeon_phi/ |
H A D | main_card.c | 191 struct capref new_domain; local 208 argcn_cap, 0, &new_domain);
|
/barrelfish-master/usr/tests/net-test/ |
H A D | net-test.c | 49 struct capref new_domain; local 65 NULL_CAP, SPAWN_FLAGS_NEW_DOMAIN, &new_domain);
|
Completed in 172 milliseconds