diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-13 19:29:57 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-13 19:33:10 +0200 |
| commit | 210793d5144562f2ab51a8b3f0969ab498a6a9c7 (patch) | |
| tree | 8d439260535d8719aaf8a75f4cd20c622b24b1ea /benchmarks | |
| parent | 41da689280091dcabd153b77627818b0a89645bf (diff) | |
console: fix notify_port_t receiver lookups
This complements e9687ec4ff525ae4a88314ba4ae97da770bd012f.
* console/display.c: Fix receiver lookups, adjust function declarations.
* console/mutations.h: Add NOTIFY mutators.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions