mapped_kernel.h revision 70342287
1