| /* | |
| * 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__ */ |