#ifndef __ARM_PAGE_SHIFT_H__
#define __ARM_PAGE_SHIFT_H__

#define PAGE_SHIFT              12

#define PADDR_BITS              CONFIG_PADDR_BITS

#endif /* __ARM_PAGE_SHIFT_H__ */