Go to the source code of this file.
Functions | |
void | setup_check_host_state_all_paths (std::vector< struct control_flow_path > &cfg) |
void setup_check_host_state_all_paths | ( | std::vector< struct control_flow_path > & | cfg | ) |
Definition at line 106 of file test_vmcs_intel_x64_check_host.cpp.