<!-- description --> @brief Returns to the microkernel after the execution of call_ext. <!-- inputs/outputs --> @param status the status code from th

<!-- description --> @brief Sets the return value of initialize. (unit testing only) <!-- inputs/outputs --> @param errc the bsl::errc_type to return

<!-- description --> @brief Stores the provided ES segment state info in the VS. <!-- inputs/outputs --> @param mut_intrinsic the intrinsic_t to use

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

<!-- 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 This syscall tells the microkernel to output an extension's state to the console device the microkernel is currently using

<!-- description --> @brief This syscall tells the microkernel to output the page pool's stats to the console device the microkernel is currently usin

<!-- description --> @brief This syscall tells the microkernel to output a provided string to the microkernel's console. <!-- inputs/outputs --> @par

<!-- description --> @brief bf_vs_op_clear tells the microkernel to clear the VS's hardware cache, if one exists. How this is used depends entirely on

<!-- description --> @brief Given the ID of a VS, invalidates a TLB entry for a given GLA on the PP that this is executed on. <!-- inputs/outputs -->

<!-- description --> @brief Closes the IOCTL

<!-- description --> @brief Closes a previously opened handle

<!-- description --> @brief Executes the CPUID instruction given the provided EAX and ECX and returns the results. <!-- inputs/outputs --> @param gs

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

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

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

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

<!-- description --> @brief Provides the main entry point for NMI exceptions (which on AMD do not occur as NMIs are blocked). <!-- inputs/outputs -->

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

<!-- description --> @brief Dumps the basic_page_pool_t <!-- inputs/outputs --> @param tls the current TLS block

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

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

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

<!-- description --> @brief Given an input register, returns a vsid if the provided register contains a valid vsid, the VM associated with the vsid is

<!-- description --> @brief Returns the vm_t associated with the provided vmid. <!-- inputs/outputs --> @param vmid the ID of the vm_t to get @return

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

<!-- description --> @brief Returns the ID of this vs_t <!-- inputs/outputs --> @return Returns the ID of this vs_t

<!-- description --> @brief Maps a page into the direct map portion of the requested VM's direct map RPT given a physical address to map. <!-- inputs

* <!-- description --> * @brief If test is false, a contract violation has occurred. This * should be used to assert preconditions that if not

* <!-- description --> * @brief If test is false, a contract violation has occurred. This * should be used to assert preconditions that if not

<!-- description --> @brief Pushes an element to the queue and returns bsl::errc_success. If the queue is full, returns bsl::errc_failure. <!-- input

<!-- description --> @brief Releases the BfSyscallT by closing the handle.

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

<!-- description --> @brief Initializes the Thread Local Storage (TLS). <!-- inputs/outputs --> @param tls the tls_t to use @param sys the bf_syscall

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

<!-- 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 Returns true if the handle provided in tls.reg0 is valid. Returns false otherwise. <!-- inputs/outputs --> @param tls the

<!-- description --> @brief Converts a virtual address to a physical address. <!-- inputs/outputs --> @param virt the virtual address to convert @ret

<!-- 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 Returns the VMExit IP for this extension. <!-- inputs/outputs --> @return Returns the VMExit IP for this extension.

<!-- 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 Allocates a page and maps it into the extension's address space. <!-- inputs/outputs --> @param mut_tls the current TLS b

* <!-- description --> * @brief Returns true if the provided address is page aligned, * returns false otherwise. * * <!-- inputs/outputs -->

<!-- description --> @brief Given the ID of a VM, invalidates a TLB entry for a given GLA on the PP that this is executed on. <!-- inputs/outputs -->

<!-- description --> @brief Advances the IP and executes a VS given the ID of the VM, VP and VS to execute. The VS must be assigned to the provided VP

* <!-- description --> * @brief Outputs a string to the console * * <!-- inputs/outputs --> * @param str the string to output */

* <!-- description --> * @brief Outputs a string and an 8bit hex to the console * * <!-- inputs/outputs --> * @param str the string to output

<!-- description --> @brief Dispatches the fail as needed, or returns an error so that the microkernel can halt the PP. <!-- inputs/outputs --> @para

<!-- description --> @brief Handle NMIs. This is required by Intel. <!-- inputs/outputs --> @param gs the gs_t to use @param tls the tls_t to use @pa

<!-- description --> @brief Handle NMIs Windows <!-- inputs/outputs --> @param gs the gs_t to use @param tls the tls_t to use @param mut_sys the bf_s

* <!-- description --> * @brief Releases a previously allocated mutable_span_t that was allocated * using the alloc_mk_huge_pool function. *

* <!-- description --> * @brief Releases a previously allocated mutable_span_t that was allocated * using the alloc_mk_page_pool function. *

<!-- description --> @brief Given an input register, returns a vmid if the provided register contains a valid vmid and the VM associated with the vmid

<!-- description --> @brief Returns the vs_t associated with the provided vsid. <!-- inputs/outputs --> @param vsid the ID of the vs_t to get @return

<!-- description --> @brief Returns the vs_t associated with the provided vsid. <!-- inputs/outputs --> @param vsid the ID of the vs_t to get @return

<!-- description --> @brief Returns the ID of this vp_t <!-- inputs/outputs --> @return Returns the ID of this vp_t

<!-- description --> @brief Implements intrinsic_t::wrmsr <!-- inputs/outputs --> @param msr n/a @param val n/a @return n/a

* <!-- description --> * @brief Writes a byte to the requested serial port register. * * <!-- inputs/outputs --> * @param reg the serial port

* <!-- description --> * @brief Sets a GDT's descriptor given a selector into the GDT to * set and the base, limit and attribute values to set

<!-- description --> @brief Returns the system physical address of the RPT. <!-- inputs/outputs --> @return Returns the system physical address of th

<!-- description --> @brief Converts a virtual address to a physical address. <!-- inputs/outputs --> @param virt the virtual address to convert @ret

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

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

<!-- description --> @brief This syscall tells the microkernel that the extension would like to try again from a fast fail callback. This syscall is a

<!-- description --> @brief This syscall tells the microkernel to output a provided character to the microkernel's console. <!-- inputs/outputs --> @