arch_kernel.h revision 6f6d78e8
1