1 /****************************************************************************
2  ****************************************************************************
3  ***
4  ***   This header was automatically generated from a Linux kernel header
5  ***   of the same name, to make information necessary for userspace to
6  ***   call into the kernel available to libc.  It contains only constants,
7  ***   structures, and macros generated from the original header, and thus,
8  ***   contains no copyrightable information.
9  ***
10  ****************************************************************************
11  ****************************************************************************/
12 #ifndef _ASMARM_PGALLOC_H
13 #define _ASMARM_PGALLOC_H
14 
15 #include <asm/domain.h>
16 #include <asm/pgtable-hwdef.h>
17 #include <asm/processor.h>
18 #include <asm/cacheflush.h>
19 #include <asm/tlbflush.h>
20 
21 #define check_pgt_cache() do { } while (0)
22 
23 #endif
24