23 lines
1.2 KiB
C
23 lines
1.2 KiB
C
#pragma once
|
|
|
|
#include <stdint.h>
|
|
|
|
/* HyperTrash! */
|
|
void handle_hypercall_kafl_nested_hprintf(struct kvm_run *run,
|
|
CPUState *cpu,
|
|
uint64_t hypercall_arg);
|
|
void handle_hypercall_kafl_nested_prepare(struct kvm_run *run,
|
|
CPUState *cpu,
|
|
uint64_t hypercall_arg);
|
|
void handle_hypercall_kafl_nested_config(struct kvm_run *run,
|
|
CPUState *cpu,
|
|
uint64_t hypercall_arg);
|
|
void handle_hypercall_kafl_nested_release(struct kvm_run *run,
|
|
CPUState *cpu,
|
|
uint64_t hypercall_arg);
|
|
void handle_hypercall_kafl_nested_acquire(struct kvm_run *run,
|
|
CPUState *cpu,
|
|
uint64_t hypercall_arg);
|
|
void handle_hypercall_kafl_nested_early_release(struct kvm_run *run,
|
|
CPUState *cpu,
|
|
uint64_t hypercall_arg); |