x86_init.h revision 42bbdb43
1