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