void oskit_init_libc(void);
oskit_init_libc allows for internal initializatons to be done. This routine should be called when the operating system is initialized. For example, the threads system (See Section 18) will call this routine after it has initialized its internal structures so that the C library may query the lock manager (See Section 4.12) for its required locking objects.