minor
- use more symmetric message for GET_HOST_CONFIG - the char* cast won't be needed once we have 'better errors' merged
This commit is contained in:
parent
ab9a1be9fe
commit
21368bc0d9
@ -19,7 +19,7 @@ void handle_hypercall_kafl_get_host_config(struct kvm_run *run,
|
|||||||
}
|
}
|
||||||
|
|
||||||
if (GET_GLOBAL_STATE()->get_host_config_done) {
|
if (GET_GLOBAL_STATE()->get_host_config_done) {
|
||||||
nyx_trace();
|
nyx_debug("KVM_EXIT_KAFL_GET_HOST_CONFIG called again...");
|
||||||
}
|
}
|
||||||
|
|
||||||
memset((void *)&config, 0, sizeof(host_config_t));
|
memset((void *)&config, 0, sizeof(host_config_t));
|
||||||
@ -47,7 +47,7 @@ void handle_hypercall_kafl_set_agent_config(struct kvm_run *run,
|
|||||||
}
|
}
|
||||||
|
|
||||||
if (GET_GLOBAL_STATE()->set_agent_config_done) {
|
if (GET_GLOBAL_STATE()->set_agent_config_done) {
|
||||||
nyx_abort((char *)"KVM_EXIT_KAFL_SET_AGENT_CONFIG called twice...");
|
nyx_abort("KVM_EXIT_KAFL_SET_AGENT_CONFIG called twice...");
|
||||||
}
|
}
|
||||||
|
|
||||||
X86CPU *cpux86 = X86_CPU(cpu);
|
X86CPU *cpux86 = X86_CPU(cpu);
|
||||||
|
Loading…
x
Reference in New Issue
Block a user