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

#define PAGE_SHIFT		12
#define LARGE_PAGE_SHIFT	21

#endif	/* HEADER_USER_X86_64_LDUMP2MCDUMP_H */