original_kernel/arch/x86/mm/kmemcheck/opcode.h