#ifndef _H8300_PGALLOC_H
#define _H8300_PGALLOC_H

#include <asm/setup.h>

#define check_pgt_cache()	do { } while (0)

#endif /* _H8300_PGALLOC_H */