arch_kernel.h revision 3a72e3eb
1