arch_kernel.h revision 01796e78
1