RE: how to use mmap() on a disk file to get a kernel address?