| /**************************************************************************** |
| **************************************************************************** |
| *** |
| *** This header was automatically generated from a Linux kernel header |
| *** of the same name, to make information necessary for userspace to |
| *** call into the kernel available to libc. It contains only constants, |
| *** structures, and macros generated from the original header, and thus, |
| *** contains no copyrightable information. |
| *** |
| **************************************************************************** |
| ****************************************************************************/ |
| #ifndef _ASMARM_PGALLOC_H |
| #define _ASMARM_PGALLOC_H |
| |
| #include <asm/domain.h> |
| #include <asm/pgtable-hwdef.h> |
| #include <asm/processor.h> |
| #include <asm/cacheflush.h> |
| #include <asm/tlbflush.h> |
| |
| #define check_pgt_cache() do { } while (0) |
| |
| #endif |
