• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/usr/drivers/xeon_phi/

Lines Matching defs:domain

33 #include "domain.h"
103 } domain;
243 size_t length = strlen(st->args.domain.name) + 1;
246 st->args.domain.name, length,
247 st->args.domain.state);
258 st->args.domain.domid,
259 st->args.domain.state,
270 size_t length = strlen(st->args.domain.name) + 1;
273 TXQCONT(msg_st), st->args.domain.name,
285 st->args.domain.domid, msg_st->err);
296 size_t length = strlen(st->args.domain.name) + 1;
300 st->args.domain.name, length,
301 st->args.domain.domid);
437 st->args.domain.state = state;
439 msg_st->err = domain_wait(name, local_node, (void *)state, &st->args.domain.domid);
458 xphi_dom_id_t domain,
463 XINTER_DEBUG("domain_wait_response_rx: domid:%lx, st:%p, %s\n", domain,
468 xeon_phi_service_domain_wait_response(st, msgerr, domain);
498 msg_st->err = domain_lookup(name, &st->args.domain.domid);
505 xphi_dom_id_t domain,
509 XINTER_DEBUG("domain_lookup_response_rx: %lx, %s\n", domain,
598 struct capref* domain = (struct capref*) malloc(sizeof(struct capref));
604 msg_st->err = spawn_program(core, cmdline, argv, NULL, flags, domain);
614 collections_hash_insert(phi->did_to_cap, st->args.spawn_reply.domainid, domain);
673 struct capref* domain = (struct capref*) malloc(sizeof(struct capref));
675 cap, flags, domain);
685 collections_hash_insert(phi->did_to_cap, st->args.spawn_reply.domainid, domain);
723 struct capref* domain = (struct capref*) collections_hash_find(phi->did_to_cap, domainid);
724 assert(domain);
726 msg_st->err = spawn_kill(*domain);
1276 * \param core which core to spawn the domain on
1277 * \param cmdline Commandline of the domain to spawn (marshalled)
1279 * \param domain Domain identifier returned
1289 uint64_t *domain)
1313 if (domain) {
1314 *domain = node->msg->rpc_data;
1325 * \param core which core to spawn the domain on
1326 * \param cmdline Commandline of the domain to spawn (marshalled args)
1328 * \param cap Cap to hand over to the domain at boot
1329 * \param domain Domain identifier returned
1340 uint64_t *domain)
1375 if (domain) {
1376 *domain = node->msg->rpc_data;
1384 * \brief sends a kill request for a domain
1387 * \param domain Domain identifier
1393 xphi_dom_id_t domain)
1395 XINTER_DEBUG("sending kill signal for domain:%lu\n", domain);
1408 svc_st->args.kill.domainid = domain;
1421 * \param target target domain id
1422 * \param source source domain id
1438 XINTER_DEBUG("sending channel open to domain {%lx}\n", target);
1479 * \brief registers a ready domain with the Xeon Phi Domain Service
1493 XINTER_DEBUG("domain register {%s} with domainid:%lx @ xnode:%u\n", name,
1508 svc_st->args.domain.domid = domid;
1509 svc_st->args.domain.name = name;
1524 * \brief checks if a domain is running and returns its domain id if it is.
1538 XINTER_DEBUG("domain lookup {%s} @ xnode:%u\n", name, node->id);
1551 svc_st->args.domain.name = name;
1566 * \brief checks if a domain is running and installs a trigger to reply
1580 XINTER_DEBUG("domain wait {%s} @ xnode:%u\n", name, node->id);
1600 svc_st->args.domain.name = name;
1601 svc_st->args.domain.state = (uintptr_t) state;
1626 XINTER_DEBUG("domain interphi_domain_wait_reply domid:%lx @ xnode:%u, st:%p\n",
1646 svc_st->args.domain.domid = domid;
1647 svc_st->args.domain.state = (uintptr_t)state;