arch_kernel.h revision e2a938c2
1