arch_kernel.h revision a8f8d2c0
1