/* kern/kern_module.c */