kernel-entry-init.h revision 70342287
1