- v -

• vcpu() : vcpu
• vcpu_factory() : vcpu_factory
• vcpu_intel_x64() : vcpu_intel_x64
• vcpu_manager() : vcpu_manager
• vcpu_ut() : vcpu_ut
• vcpuid() : command_line_parser
• virt_to_pte() : page_table_x64 , root_page_table_x64
• virtint_to_attrint() : memory_manager_x64
• virtint_to_physint() : memory_manager_x64
• virtint_to_physptr() : memory_manager_x64
• virtptr_to_attrint() : memory_manager_x64
• virtptr_to_physint() : memory_manager_x64
• virtptr_to_physptr() : memory_manager_x64
• vm_entry_controls() : vmcs_intel_x64
• vm_exit_controls() : vmcs_intel_x64
• vmcs_intel_x64() : vmcs_intel_x64
• vmcs_intel_x64_host_vm_state() : vmcs_intel_x64_host_vm_state
• vmcs_intel_x64_state() : vmcs_intel_x64_state
• vmcs_intel_x64_vmm_state() : vmcs_intel_x64_vmm_state
• vmcs_ut() : vmcs_ut
• vmxon_intel_x64() : vmxon_intel_x64
• vmxon_ut() : vmxon_ut