/* | |
* Copyright (c() 2021 EPAM Systems | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
/* defined in hypercall.S by HYPERCALL(hypercall) */ | |
int HYPERVISOR_console_io(int op, int cnt, char *str); | |
int HYPERVISOR_sched_op(int op, void *param); | |
int HYPERVISOR_event_channel_op(int op, void *param); | |
int HYPERVISOR_hvm_op(int op, void *param); | |
int HYPERVISOR_memory_op(int op, void *param); |