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