object_init 54 sys/include/ipc.h void object_init(void); object_init 90 sys/kern/main.c object_init();