hvm.h

Go to the documentation of this file.

/*
 * 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, int domid, uint64_t value);
int hvm_get_parameter(int idx, int domid, uint64_t *value);
 
#endif /* __XEN_HVM_H__ */