diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-16 14:50:31 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-16 14:50:31 +0100 |
| commit | 62ca925c9a6b0d12bdf17ac4ab93f5434575cedc (patch) | |
| tree | b4a3be4ac41f38ba5c659bbc929f5c4fc3001317 /kern/printf.c | |
| parent | 1b929c6f3ac51372914c4c0d49be8f27caee5ca5 (diff) | |
kern: include the mig-generated server headers in ipc_kobject.c
GNU MIG recently gained support for emitting x_server_routine
declarations in the generated server header file. Using this
declaration, the x_server_routine functions can be inlined into the
ipc_kobject_server function.
* kern/ipc_kobject.c: Include the mig-generated server headers.
Diffstat (limited to 'kern/printf.c')
0 files changed, 0 insertions, 0 deletions