Line data    Source code

       1            0 : /*
       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            0 : int hvm_set_parameter(int idx, int domid, uint64_t value);
      15            0 : int hvm_get_parameter(int idx, int domid, uint64_t *value);
      16              : 
      17              : #endif /* __XEN_HVM_H__ */