Re: Gnumach cleanup Round 4

[Roland McGrath]

> I'm not inventing anything. Those functions are defined in model_dep.c...

You are indeed inventing model_dep.h, a header file name that did not
exist before.  Where a global function is defined is a private matter.
Where it is declared for its users to #include is a matter of reasonable
interface definition (in this case a purely internal interface and a
trivial one, but the principle stands).