/* arch-ldump2mcdump.h COPYRIGHT FUJITSU LIMITED 2017-2018 */
#ifndef HEADER_USER_ARM64_LDUMP2MCDUMP_H
#define HEADER_USER_ARM64_LDUMP2MCDUMP_H

#ifdef CONFIG_ARM64_64K_PAGES
/* GRANULE_SIZE == 64K_PAGE */
#define PAGE_SHIFT		16

/* same as IHK_SMP_LARGE_PAGE_SHIFT */
#define LARGE_PAGE_SHIFT	PAGE_SHIFT

#else /* CONFIG_ARM64_64K_PAGES */
/* GRANULE_SIZE == 4K_PAGE */
#define PAGE_SHIFT		12

/* same as IHK_SMP_LARGE_PAGE_SHIFT */
#define LARGE_PAGE_SHIFT	21
#endif /* CONFIG_ARM64_64K_PAGES */

#endif	/* HEADER_USER_ARM64_LDUMP2MCDUMP_H */