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.
|
#pragma once
|
|
#include "segment_intrin.h"
|
|
#include "vmxexit_handler.h"
|
|
#include "vmxon.hpp"
|
|
#include "vmcs.hpp"
|
|
|
|
#define VMX_LAUNCH_SUCCESS 0xC0FFEE
|
|
extern "C" u32 vmxlaunch_processor(void);
|
|
|
|
namespace vmxlaunch
|
|
{
|
|
auto init_vmcs() -> void;
|
|
auto launch() -> void;
|
|
} |