* Print an error to the kernel debugger with a format. */

* Get an MSR by its address and convert it to the specified type. */

* Print a debug message to the kernel debugger. */

* Free memory allocated with OsAllocateNonpagedMemory. */

* Convert a virtual address to a physical address. */

* Zero out Length bytes of a region of memory. */

* Print a message to the kernel debugger. */

* Certain control MSRs in VMX will ask that certain bits always be 0, and some always be 1. * * In these MSR formats, the lower 32-bits specify the

* Print a success message to the kernel debugger. */

* Allocate a number of page-aligned, contiguous pages of memory and return a pointer to the region. * * Returns NULL if the pages could not be allo

* Get the current CPU number of the processor executing this function. */

* Allocate generic, nonpaged r/w memory. * * Returns NULL if the bytes could not be allocated. */

* Free a region of pages allocated by OsAllocateContiguousAlignedPages. */

* Get the current CPU context object from the global context by reading the current processor number. */

* Check if a bit is set in the bit field. */

* Get the number of CPUs on the system */

* Exits VMX Root Mode on a processor currently in VMX operation mode. * * This function will: * - Clear the current VMCS * - Execute VMXOFF * -

* Free memory allocated by EPT functions. */

Write an absolute x64 jump to an arbitrary address to a buffer. */

* Free global VMM context and all logical processor contexts. */

* Disable "Virtual Machine Extensions Enable" bit in CR4 (bit 13) */

* Enables "Virtual Machine Extensions Enable" bit in CR4 (bit 13) */

* Get the IA32_VMX_BASIC MSR. * * Reporting Register of Basic VMX Capabilities. */

* Get a CPUID register. */

* Returns TRUE if the CPU feature is present. */

* Check if VMX support is enabled on the processor. */

* Allocates a logical processor context. * * Contains: * - VMXON region * - The Host stack, the stack used during exit handlers *

* Allocate a VMCS memory region and write the revision identifier. */

* Allocate the global VMM context used by all processors. * * - Allocates a VMM_GLOBAL_CONTEXT structure, containing information about hv operation

* Allocate and setup the VMXON region for the logical processor context. */

* Uses the Memory Type Range Register MSRs to build a map of the physical memory on the system. * This will be used to build an identity mapped EPT P

* Checks to ensure that the processor supports all EPT features that we want to use. */

* Get the PML1 entry for this physical address if the page is split. Return NULL if the address is invalid * or the page wasn't already split. */

* Get the PML2 entry for this physical address. */

* Initializes any EPT components that are not local to a particular processor. * * Checks to ensure EPT is supported by the processor and builds a

* Initialize EPT for an individual logical processor. * * Creates an identity mapped page table and sets up an EPTP to be applied to the VMCS later

* Creates a 2MB identity mapped PML2 entry with a cacheability type specified by system MTRRs. * * We must ensure that we map each 2MB entry with t

* Split a large 2MB page into 512 smaller 4096 pages. * * In order to set discrete EPT permissions on a singular 4096 byte page, we need to split o

* Dispatch to the correct handler function given the exit code. */

* Handle VM exits for EPT violations. Violations are thrown whenever an operation is performed * on an EPT entry that does not provide permissions to

Check if this exit is due to a violation caused by a currently hooked page. Returns FALSE * if the violation was not due to a page hook. * * If th

* Free a logical processor context allocated by HvAllocateLogicalProcessorContext */

* Initialize all logical processors on the system for hypervisor execution. * * This function performs the following actions: * - Uses the CP

* Configure the Pin-based Control settings of the VMCS. */

* Configure the Processor-Based VM-Execution Controls of the VMCS. */

* Configure the Secondary Processor-Based VM-Execution Controls settings of the VMCS. */

* Configure the VM-Entry Controls settings of the VMCS. */

* Configure the VM-Exit Controls settings of the VMCS. */

* Sets up all fields of the guest area of the VMCS. * * GuestRIP: The RIP to set when swapping back to the guest. * GuestRSP: The RSP to set when

* Sets up all fields of the host area of the VMCS. * * HostRIP: The RIP that vmexits will jump to initially, similar to how interrupts work. * HostRS

* Clear a bit in a bit field. */

* Allocate generic, nonpaged, executable r/w memory. * * Returns NULL if the bytes could not be allocated. */

* OS-dependent version of RtlCaptureContext from NT. */

* Convert a physical address to a virtual address. */

* Enter VMX Root Mode on the processor. * * This function will: * - Enable VMX-enabled bit in CR4 * - Ensure the VMX fixed bits are set in CR0 an

* VMX has a very specific layout for its segment descriptor fields that needs to be populated from the GDT entries of the OS. * * This function inp

* Intialize fields of the exit context based on values read from the VMCS. */

* Execute VMLAUNCH and launch the processor. * * Should never return, except on error. */

* Give a printout when VMX instructions or vmexits fail. * * Reads the instruction error from the VMCS. */

* In VMX operation, processors may fix certain bits in CR0 and CR4 to specific values and not support other * values. * * Ensures these CR0 and CR

* DPC to exit VMX on all processors. */

* This function is the main handler of all exits that take place during VMM execution. * * This function is initially called from HvEnterFromGuest

* If we're at this point, that means HvEnterFromGuest failed to enter back to the guest. * Print out the error informaiton and some state of the proc

* Initialize VMCS and enter VMX root-mode. * * This function should never return, except on error. Execution will continue on the guest on success.

* Very carefully populates the segmentation parts of one of the guest segmentation VMCS fields according to the values of the currently running system

* Set a bit in a bit field. */

* Called by HvInitializeAllProcessors to initialize VMX on a specific logical processor. */

* OS-dependent version of RtlRestoreContext from NT. */