#ifndef __PPC_PAGE_BITS_H__
#define __PPC_PAGE_BITS_H__

#define PAGE_SHIFT              16 /* 64 KiB Pages */
#define PADDR_BITS              53
#define VADDR_BITS              52

#endif /* __PPC_PAGE_BITS_H__ */
