[PATCH 2/2] kern: include the mig-generated server headers in ipc_kobject.c

2014-01-16 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. --- kern/ipc

[PATCH 1/2] vm: remove the declaration of memory_object_create_proxy

2014-01-16 Thread Justus Winter
It is not clear to me why the declaration was put there in the first place. It is not used anywhere, and it conflicts with the declaration generated by mig. * vm/memory_object_proxy.h (memory_object_create_proxy): Remove declaration. --- vm/memory_object_proxy.h | 11 --- 1 file changed,

Re: [PATCH 5/5] Generate a x_server_routine in the sheader so it can be inlined

2014-01-16 Thread Justus Winter
Quoting Justus Winter (2013-12-02 17:25:23) > Quoting Samuel Thibault (2013-12-02 13:09:44) > > Well, it means that whenever a protocol gets augmented, one has to > > recompile all demuxer functions calling these inlines. In the example > > of trivfs_demuxer, the application itself does not need a