| The Android Open Source Project | a27d2ba | 2008-10-21 07:00:00 -0700 | [diff] [blame^] | 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 |