KERN_ia32_FPU_CONTEXT_H_ 35 kernel/arch/amd64/include/arch/fpu_context.h #ifndef KERN_ia32_FPU_CONTEXT_H_ KERN_ia32_FPU_CONTEXT_H_ 35 kernel/arch/ia32/include/arch/fpu_context.h #ifndef KERN_ia32_FPU_CONTEXT_H_