extern void init_kmalloc(void);