BUGS: kernel module entry