blob: 968abf01c1a4bbf6dd59292ca3f560859fb5c3d0 [file] [log] [blame]
/*
* Copyright (c) 2021 EPAM Systems
*
* SPDX-License-Identifier: Apache-2.0
*/
#ifndef __XEN_HVM_H__
#define __XEN_HVM_H__
#include <zephyr/xen/public/hvm/hvm_op.h>
#include <zephyr/xen/public/hvm/params.h>
#include <zephyr/kernel.h>
int hvm_set_parameter(int idx, uint64_t value);
int hvm_get_parameter(int idx, uint64_t *value);
#endif /* __XEN_HVM_H__ */