blob: 1bd770ba1dfb3dcaa406da7a6035528d24aa9904 [file] [log] [blame]
Dmytro Firsovd9a3efb2021-07-02 11:31:56 +03001/*
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 <xen/public/hvm/hvm_op.h>
10#include <xen/public/hvm/params.h>
11
12#include <kernel.h>
13
14int hvm_set_parameter(int idx, uint64_t value);
15int hvm_get_parameter(int idx, uint64_t *value);
16
17#endif /* __XEN_HVM_H__ */