L4Re/departure

Changeset

510:2c665b788882
2023-03-10 Paul Boddie raw files shortlog changelog graph Augmented comment with more details.
libexec/lib/src/process.cc (file)
     1.1 --- a/libexec/lib/src/process.cc	Fri Mar 10 01:19:23 2023 +0100
     1.2 +++ b/libexec/lib/src/process.cc	Fri Mar 10 01:20:57 2023 +0100
     1.3 @@ -175,7 +175,9 @@
     1.4    return ipc_map_capability(_task, (struct ipc_mapped_cap) {_env.parent, parent, L4_CAP_FPAGE_RWS, 0});
     1.5  }
     1.6  
     1.7 -/* Map capabilities into the task, counting them if indicated. */
     1.8 +/* Map capabilities into the task, counting them if indicated. If capability
     1.9 +   indexes are obtained using the allocate_cap method, then they do not need to
    1.10 +   be counted again. */
    1.11  
    1.12  long Process::map_capabilities(struct ipc_mapped_cap mapped_caps[],
    1.13                                 bool to_count)