/* | |
* Copyright (c) 2021 EPAM Systems | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#ifndef __XEN_GENERIC_H__ | |
#define __XEN_GENERIC_H__ | |
#include <zephyr/xen/public/xen.h> | |
#define XEN_PAGE_SIZE 4096 | |
#define XEN_PAGE_SHIFT 12 | |
#endif /* __XEN_GENERIC_H__ */ |