| /* | |
| * 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); |