arch_kernel.h revision f69dd487
1