/*
 * Copyright (c) 2021 EPAM Systems
 *
 * SPDX-License-Identifier: Apache-2.0
 */
#ifndef __XEN_GENERIC_H__
#define __XEN_GENERIC_H__

#include <xen/public/xen.h>

#define XEN_PAGE_SIZE		4096
#define XEN_PAGE_SHIFT		12

#endif /* __XEN_GENERIC_H__ */