1 /*
2  * Copyright (c) 2021 EPAM Systems
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #ifndef __XEN_HVM_H__
7 #define __XEN_HVM_H__
8 
9 #include <zephyr/xen/public/hvm/hvm_op.h>
10 #include <zephyr/xen/public/hvm/params.h>
11 
12 #include <zephyr/kernel.h>
13 
14 int hvm_set_parameter(int idx, int domid, uint64_t value);
15 int hvm_get_parameter(int idx, int domid, uint64_t *value);
16 
17 #endif /* __XEN_HVM_H__ */
18