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__ */