You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
318 B
14 lines
318 B
#pragma once
|
|
#include "hv_types.hpp"
|
|
#include "segment_intrin.h"
|
|
#include "vmxexit_handler.h"
|
|
#include "vmxon.hpp"
|
|
#include "idt.hpp"
|
|
#include "gdt.hpp"
|
|
|
|
namespace vmcs
|
|
{
|
|
auto setup_host(void* host_rip, u64 host_rsp, cr3 cr3_value, u64 gdt_base) -> void;
|
|
auto setup_guest() -> void;
|
|
auto setup_controls() -> void;
|
|
} |