kernel-entry-init.h revision 3ff72be4
1