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

Lines Matching defs:capability

1250 // intermonitor capability forwarding state
1256 // monitor capability forwarding state
1263 * \brief Handle capability send request from local monitor.
1264 * The capability must be forwarded to the next hop.
1269 * \param cap reference to the capability
1270 * \capid ID of the capability
1279 "monitor on core %d received a capability (from local dispatcher). VCI %llu, direction %d, cap ID %d\n", my_core_id, (unsigned long long) vci, direction, capid);
1282 struct capability capability;
1298 // get binary representation of capability
1299 err = monitor_cap_identify(cap, &capability);
1312 if (!monitor_can_send_cap(&capability)) {
1322 // mark capability as remote
1331 capability_to_caprep(&capability, &caprep);
1333 // destroy capability on this core
1340 // enqueue capability in order to be forwarded
1358 // continue function for intermonitor capability forwarding
1371 * \brief Forward capability to the next hop
1407 "Could not forward capability over multi-hop channel\n");
1412 * \brief Handle a capability coming from another monitor.
1413 * The capability must be either forwarded to another
1424 "monitor on core %d received a capability (from other monitor). VCI %llu, direction %d, cap ID %d, owner %d\n", my_core_id, (unsigned long long) vci, direction, capid, owner);
1434 // Construct the capability
1435 struct capability *capability = (struct capability *) &caprep;
1445 // to allocate a slot for the capability
1451 // create capability
1452 err = monitor_cap_create(cap, capability, owner);
1457 // to create the capability
1463 // mark capability as remote
1472 // enqueue the capability in order to be forwarded to
1492 // we have to forward the capability to the next hop
1493 // we therefore enqueue the capability
1513 // continue function for monitor capability forwarding
1525 * \brief Forward capability to a local dispatcher
1558 "failed to forward capability over multi-hop channel\n");