2021-07-02 10:31:56 +02:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2021 EPAM Systems
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
|
|
*/
|
|
|
|
#ifndef __XEN_HVM_H__
|
|
|
|
#define __XEN_HVM_H__
|
|
|
|
|
2022-05-06 10:30:42 +02:00
|
|
|
#include <zephyr/xen/public/hvm/hvm_op.h>
|
|
|
|
#include <zephyr/xen/public/hvm/params.h>
|
2021-07-02 10:31:56 +02:00
|
|
|
|
2022-05-06 10:30:42 +02:00
|
|
|
#include <zephyr/kernel.h>
|
2021-07-02 10:31:56 +02:00
|
|
|
|
2023-02-02 13:38:23 +01:00
|
|
|
int hvm_set_parameter(int idx, int domid, uint64_t value);
|
|
|
|
int hvm_get_parameter(int idx, int domid, uint64_t *value);
|
2021-07-02 10:31:56 +02:00
|
|
|
|
|
|
|
#endif /* __XEN_HVM_H__ */
|