<!-- description --> @brief Returns the value of TR <!-- inputs/outputs --> @return Returns the value of TR

<!-- description --> @brief Unlocks the basic_spinlock_t.

<!-- description --> @brief Unmaps a page from the direct map portion of the requested VM's direct map RPT given a virtual address to unmap. <!-- inp

<!-- description --> @brief Validates the provided ELF file. <!-- inputs/outputs --> @param file the elf file to validate

<!-- description --> @brief Checks whether or not a given ELF file is in a format that this ELF loader can handle. <!-- inputs/outputs --> @param fil

<!-- description --> @brief Validates the provided pt_gnu_stack segment. <!-- inputs/outputs --> @param phdr the pt_gnu_stack segment to validate

<!-- description --> @brief Validates the provided pt_load segment. <!-- inputs/outputs --> @param phdr the pt_load segment to validate

<!-- description --> @brief Validates the provided pt_tls segment. <!-- inputs/outputs --> @param phdr the pt_tls segment to validate

<!-- description --> @brief Verifies that the mut_args and the resulting TLS block make sense. The trampoline code has to fill in a lot of the TLS blo

<!-- description --> @brief Returns a pointer to the read-only mapped file. <!-- inputs/outputs --> @return Returns a pointer to the read-only mapped

<!-- description --> @brief Returns a pointer to the read-only mapped file. <!-- inputs/outputs --> @return Returns a pointer to the read-only mapped

<!-- description --> @brief Returns the level-0 table (L0T) offset given a virtual address. <!-- inputs/outputs --> @param virt the virtual address t

<!-- description --> @brief Returns the level-1 table (L1T) offset given a virtual address. <!-- inputs/outputs --> @param virt the virtual address t

<!-- description --> @brief Returns the level-2 table (L2T) offset given a virtual address. <!-- inputs/outputs --> @param virt the virtual address t

<!-- description --> @brief Returns the level-3 table (L3T) offset given a virtual address. <!-- inputs/outputs --> @param virt the virtual address t

<!-- description --> @brief Clears a VMCS given a pointer to the physical address of the VMCS. <!-- inputs/outputs --> @param phys a pointer to the p

<!-- description --> @brief Bootstraps the extension by executing it's bootstrap entry point. If the extension has not been initialized, this function

<!-- description --> @brief Returns the VMExit IP for this extension. <!-- inputs/outputs --> @return Returns the VMExit IP for this extension.

<!-- description --> @brief Provides the main entry point for VMExits that occur after a successful launch of the hypervisor. <!-- inputs/outputs -->

<!-- description --> @brief Loads a VMCS given a pointer to the physical address of the VMCS. <!-- inputs/outputs --> @param phys a pointer to the ph

<!-- description --> @brief Returns the value of requested 16 bit VMCS field <!-- inputs/outputs --> @param field the 16 bit VMCS field to read @para

<!-- description --> @brief Returns the value of requested 32 bit VMCS field <!-- inputs/outputs --> @param field the 32 bit VMCS field to read @para

<!-- description --> @brief Returns the value of requested 64 bit VMCS field <!-- inputs/outputs --> @param field the 64 bit VMCS field to read @para

<!-- description --> @brief Executes the VMRun instruction. When this function returns a "VMExit" has occurred and must be handled. <!-- inputs/outpu

<!-- description --> @brief Executes the VMLaunch/VMResume instructions. When this function returns, a "VMExit" has occurred and must be handled. <!-

<!-- description --> @brief Sets the value of requested 16 bit VMCS field <!-- inputs/outputs --> @param field the 16 bit VMCS field to write to @par

<!-- description --> @brief Sets the value of requested 32 bit VMCS field <!-- inputs/outputs --> @param field the 32 bit VMCS field to write to @par

<!-- description --> @brief Sets the value of requested 64 bit VMCS field <!-- inputs/outputs --> @param field the 64 bit VMCS field to write to @par

<!-- description --> @brief Sets the value of requested 64 bit VMCS field (function version) <!-- inputs/outputs --> @param field the 64 bit VMCS fie

<!-- description --> @brief If the requested VM is assigned to a vp_t in the pool, the ID of the first vp_t found is returned. Otherwise, this functio

<!-- description --> @brief If the requested PP is assigned to a vs_t in the pool, the ID of the first vs_t found is returned. Otherwise, this functio

<!-- description --> @brief If the requested VM is assigned to a vs_t in the pool, the ID of the first vs_t found is returned. Otherwise, this functio

<!-- description --> @brief If the requested VP is assigned to a vs_t in the pool, the ID of the first vs_t found is returned. Otherwise, this functio

<!-- description --> @brief Stores the requested vs_t state in the provided state save <!-- inputs/outputs --> @param tls the current TLS block @para

<!-- description --> @brief Stores the requested vs_t state in the provided state save <!-- inputs/outputs --> @param mut_tls the current TLS block @