Re: [PATCH 2/2] kern: include the MIG-generated server headers for MACHINE_SERVER

2014-04-30 Thread Samuel Thibault
Justus Winter, le Wed 30 Apr 2014 14:55:16 +0200, a écrit : > 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. Ack. > *

[PATCH 2/2] kern: include the MIG-generated server headers for MACHINE_SERVER

2014-04-30 Thread Justus Winter
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 for the machin