b2441318 |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
dfec072e VN |
2 | #ifndef ARCH__X86__MM__KMEMCHECK__PTE_H |
3 | #define ARCH__X86__MM__KMEMCHECK__PTE_H |
4 | |
5 | #include <linux/mm.h> |
6 | |
7 | #include <asm/pgtable.h> |
8 | |
9 | pte_t *kmemcheck_pte_lookup(unsigned long address); |
10 | |
11 | #endif |