intel_x64::vmx Namespace Reference

Typedefs
using	vpid_type = uint64_t
using	eptp_type = uint64_t
using	integer_pointer = uintptr_t

Functions
void	on (gsl::not_null< void *> ptr)
void	off ()
void	invept_single_context (eptp_type eptp)
void	invept_global ()
void	invvpid_individual_address (vpid_type vpid, integer_pointer addr)
void	invvpid_single_context (vpid_type vpid)
void	invvpid_all_contexts ()
void	invvpid_single_context_global (vpid_type vpid)

Typedef Documentation

vpid_type

using intel_x64::vmx::vpid_type = typedef uint64_t

Definition at line 45 of file vmx_intel_x64.h.

eptp_type

using intel_x64::vmx::eptp_type = typedef uint64_t

Definition at line 46 of file vmx_intel_x64.h.

integer_pointer

using intel_x64::vmx::integer_pointer = typedef uintptr_t

Definition at line 47 of file vmx_intel_x64.h.

Function Documentation

on()

void intel_x64::vmx::on ( gsl::not_null< void *>  ptr )

inline

Definition at line 49 of file vmx_intel_x64.h.

off()

void intel_x64::vmx::off ( )

inline

Definition at line 55 of file vmx_intel_x64.h.

invept_single_context()

void intel_x64::vmx::invept_single_context ( eptp_type  eptp )

inline

Definition at line 61 of file vmx_intel_x64.h.

invept_global()

void intel_x64::vmx::invept_global ( )

inline

Definition at line 68 of file vmx_intel_x64.h.

invvpid_individual_address()

void intel_x64::vmx::invvpid_individual_address ( vpid_type  vpid, integer_pointer  addr  )

inline

Definition at line 75 of file vmx_intel_x64.h.

invvpid_single_context()

void intel_x64::vmx::invvpid_single_context ( vpid_type  vpid )

inline

Definition at line 82 of file vmx_intel_x64.h.

invvpid_all_contexts()

void intel_x64::vmx::invvpid_all_contexts ( )

inline

Definition at line 89 of file vmx_intel_x64.h.

invvpid_single_context_global()

void intel_x64::vmx::invvpid_single_context_global ( vpid_type  vpid )

inline

Definition at line 96 of file vmx_intel_x64.h.