intel_x64::vm Namespace Reference

Typedefs
using	field_type = uint64_t
using	value_type = uint64_t
using	name_type = const char *
using	integer_pointer = uintptr_t

Functions
void	clear (gsl::not_null< void *> ptr)
void	load (gsl::not_null< void *> ptr)
void	reset (gsl::not_null< void *> ptr)
auto	read (field_type field, name_type name="")
void	write (field_type field, value_type value, name_type name="")
void	launch_demote ()

Typedef Documentation

field_type

using intel_x64::vm::field_type = typedef uint64_t

Definition at line 106 of file vmx_intel_x64.h.

value_type

using intel_x64::vm::value_type = typedef uint64_t

Definition at line 107 of file vmx_intel_x64.h.

name_type

using intel_x64::vm::name_type = typedef const char *

Definition at line 108 of file vmx_intel_x64.h.

integer_pointer

using intel_x64::vm::integer_pointer = typedef uintptr_t

Definition at line 109 of file vmx_intel_x64.h.

Function Documentation

clear()

void intel_x64::vm::clear ( gsl::not_null< void *>  ptr )

inline

Definition at line 111 of file vmx_intel_x64.h.

load()

void intel_x64::vm::load ( gsl::not_null< void *>  ptr )

inline

Definition at line 117 of file vmx_intel_x64.h.

reset()

void intel_x64::vm::reset ( gsl::not_null< void *>  ptr )

inline

Definition at line 123 of file vmx_intel_x64.h.

read()

auto intel_x64::vm::read ( field_type  field, name_type  name = ""  )

inline

Definition at line 129 of file vmx_intel_x64.h.

write()

void intel_x64::vm::write ( field_type  field, value_type  value, name_type  name = ""  )

inline

Definition at line 144 of file vmx_intel_x64.h.

launch_demote()

void intel_x64::vm::launch_demote ( )

inline

Definition at line 156 of file vmx_intel_x64.h.