#ifndef ARCH__X86__MM__KMEMCHECK__PTE_H #define ARCH__X86__MM__KMEMCHECK__PTE_H #include <linux/mm.h> #include <asm/pgtable.h> pte_t *kmemcheck_pte_lookup(unsigned long address); #endif