#ifndef _H8300_PGALLOC_H#define _H8300_PGALLOC_H #include <asm/setup.h> #define check_pgt_cache()	do { } while (0) #endif /* _H8300_PGALLOC_H */