/* Prototypes for functions defined in
kern_malloc.c
 */

BOOL malloc_init(void);