arch_kernel.h revision f697412f
1