#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