Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / x86 / mm / kmemcheck / pte.h
1 #ifndef ARCH__X86__MM__KMEMCHECK__PTE_H
2 #define ARCH__X86__MM__KMEMCHECK__PTE_H
3
4 #include <linux/mm.h>
5
6 #include <asm/pgtable.h>
7
8 pte_t *kmemcheck_pte_lookup(unsigned long address);
9
10 #endif