<!-- description --> @brief Initializes tets for x64

<!-- 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 Returns the ID of the VP this vs_t is assigned to. If vs_t is not assigned, syscall::BF_INVALID_ID is returned. <!-- inpu

<!-- description --> @brief Reads a field from the vs_t given a bf_reg_t defining the field to read. <!-- inputs/outputs --> @param tls the current T

* <!-- description --> * @brief This function contains all of the code that is common between * all archiectures and all platforms for startin

<!-- description --> @brief Sets the value of tls.rax <!-- inputs/outputs --> @param val The value to set tls.rax to

<!-- description --> @brief Provides the main entry point for all syscalls. This function will dispatch syscalls as needed. <!-- inputs/outputs --> @

<!-- description --> @brief Returns m_size.is_zero() <!-- inputs/outputs --> @return Returns m_size.is_zero()

<!-- description --> @brief Process the user provided command line arguments. If the user provided command succeeds, this function will return bsl::er

<!-- description --> @brief Dispatches the bootstrap process as needed. Note that the bootstrap callback is only called when starting the hypervisor o

<!-- description --> @brief Dispatches the bf_callback_op syscalls <!-- inputs/outputs --> @param mut_tls the current TLS block @return Returns a bf_

<!-- description --> @brief Returns the value of requested MSR <!-- inputs/outputs --> @param msr the MSR to read from @return Returns the value of r

* <!-- description --> * @brief The function's main purpose is allocate pages for all of the * executable code that is currently linked into t

<!-- description --> @brief Returns the value of tls.rax <!-- inputs/outputs --> @return Returns the value of tls.rax

<!-- description --> @brief Dispatches the bf_vp_op syscalls <!-- inputs/outputs --> @param mut_tls the current TLS block @param vm_pool the vm_pool_

* <!-- description --> * @brief Sets an IDT's descriptor given an index into the IDT to * set and the offset, selector and attribute values to

<!-- description --> @brief Dumps the contents of the VMExit log for the requested PP <!-- inputs/outputs --> @param str the name of the field @param

<!-- 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 value of requested MSR <!-- inputs/outputs --> @param msr the MSR to read from @return Returns the value of r

<!-- description --> @brief bf_vs_op_advance_ip_and_run_current tells the microkernel to advance the IP of and execute the currently active VS, VP and

<!-- description --> @brief Returns the value of tls.ppid <!-- inputs/outputs --> @return Returns the value of tls.ppid

* <!-- description --> * @brief This function maps a 4k page given a physical address into a * provided root page table at the provided virtua

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

<!-- description --> @brief This syscall tells the microkernel to create a VM and return it's ID. <!-- inputs/outputs --> @return Returns the resulti

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

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

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

<!-- description --> @brief Returns true if the basic_spinlock_t is locked <!-- inputs/outputs --> @return Returns true if the basic_spinlock_t is lo

<!-- description --> @brief Returns the value of tls.rbx <!-- inputs/outputs --> @return Returns the value of tls.rbx

<!-- description --> @brief Returns the value of tls.rcx <!-- inputs/outputs --> @return Returns the value of tls.rcx

<!-- description --> @brief Returns the value of tls.rdx <!-- inputs/outputs --> @return Returns the value of tls.rdx

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

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

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

<!-- description --> @brief Sets the value of requested MSR <!-- inputs/outputs --> @param msr the MSR to write to @param val the value to set the MS

<!-- description --> @brief Returns the number of bytes allocated. <!-- inputs/outputs --> @return Returns the number of bytes allocated.

<!-- description --> @brief Sets the value of tls.rcx <!-- inputs/outputs --> @param val The value to set tls.rcx to

<!-- description --> @brief TODO <!-- inputs/outputs --> @param vmid The ID of the VM to run @param vpid The ID of the VP to run @param vsid The ID o

<!-- description --> @brief TODO <!-- inputs/outputs --> @param vmid The ID of the VM to run @param vpid The ID of the VP to run @param vsid The ID o

<!-- description --> @brief Dispatches the VMExit. <!-- inputs/outputs --> @param gs the gs_t to use @param tls the tls_t to use @param sys the bf_sy

<!-- 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 This function maps a 4k page given a physical address into a * provided root page table at the provided virtua

<!-- description --> @brief Returns the number of bytes in the pool. <!-- inputs/outputs --> @return Returns the number of bytes in the pool.

<!-- description --> @brief Returns the value of a requested TLS register <!-- inputs/outputs --> @param reg the TLS register to get @return Returns

<!-- description --> @brief This syscall tells the microkernel to output the state of a VS to the console device the microkernel is currently using fo

<!-- description --> @brief Returns the value of tls.r10 <!-- inputs/outputs --> @return Returns the value of tls.r10

<!-- description --> @brief Returns the value of tls.r11 <!-- inputs/outputs --> @return Returns the value of tls.r11

<!-- description --> @brief Returns the value of tls.r12 <!-- inputs/outputs --> @return Returns the value of tls.r12

<!-- description --> @brief Returns the value of tls.r13 <!-- inputs/outputs --> @return Returns the value of tls.r13

<!-- description --> @brief Returns the value of tls.r14 <!-- inputs/outputs --> @return Returns the value of tls.r14

<!-- description --> @brief Returns the value of tls.r15 <!-- inputs/outputs --> @return Returns the value of tls.r15

<!-- description --> @brief Returns the value of tls.r8 <!-- inputs/outputs --> @return Returns the value of tls.r8

<!-- description --> @brief Returns the value of tls.r9 <!-- inputs/outputs --> @return Returns the value of tls.r9

<!-- description --> @brief Returns the value of tls.rbp <!-- inputs/outputs --> @return Returns the value of tls.rbp

<!-- description --> @brief Returns the value of tls.rdi <!-- inputs/outputs --> @return Returns the value of tls.rdi

<!-- description --> @brief Returns the value of tls.rsi <!-- inputs/outputs --> @return Returns the value of tls.rsi

<!-- description --> @brief Dispatches the bf_mem_op syscalls <!-- inputs/outputs --> @param mut_tls the current TLS block @param mut_page_pool the p

<!-- inputs/outputs --> @param version the version provided to the extension by the microkernel. If this API does not support the ABI versions that th

<!-- description --> @brief Returns this->size() - this->allocated(). <!-- inputs/outputs --> @return Returns this->size() - this->allocated().

<!-- description --> @brief Returns the number of bytes allocated. <!-- inputs/outputs --> @return Returns the number of bytes allocated.

<!-- description --> @brief Returns the ID of the PP this vs_t is assigned to If vs_t is not assigned, syscall::BF_INVALID_ID is returned. <!-- input

<!-- description --> @brief This syscall tells the microkernel to initialize a VS using the root VP state provided by the loader using the current PPI

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

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

<!-- description --> @brief Returns true if the basic_ioctl_t has been opened, false otherwise. <!-- inputs/outputs --> @return Returns true if the b

<!-- description --> @brief Process the mk_args_t provided by the loader. If the user provided command succeeds, this function will return bsl::errc_s

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

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

<!-- description --> @brief Allocates a physically contiguous block of memory and maps it into the extension's address space. <!-- inputs/outputs -->

<!-- description --> @brief Reads an MSR directly from the CPU given the address of the MSR to read. Note that this is specific to Intel/AMD only. Als

<!-- description --> @brief Returns the value of tls.online_pps <!-- inputs/outputs --> @return Returns the value of tls.online_pps

<!-- description --> @brief Returns the value of tls.vmid <!-- inputs/outputs --> @return Returns the value of tls.vmid

<!-- description --> @brief This syscall tells the microkernel to unmap a previously mapped virtual address in the direct map. Unlike bf_vm_op_unmap_d

<!-- description --> @brief bf_vs_op_run_current tells the microkernel to execute the currently active VS, VP and VM. <!-- inputs/outputs --> @return

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

<!-- description --> @brief Dispatches the bf_handle_op syscalls <!-- inputs/outputs --> @param mut_tls the current TLS block @return Returns a bf_st

<!-- description --> @brief Handles the CPUID VMexit <!-- inputs/outputs --> @param gs the gs_t to use @param tls the tls_t to use @param mut_sys the

* <!-- description --> * @brief This function allocates read/write virtual memory from the * kernel. This memory is not physically contiguous.

<!-- description --> @brief Returns this->size() - this->allocated(). <!-- inputs/outputs --> @return Returns this->size() - this->allocated().

<!-- description --> @brief This syscall tells the microkernel to output the VMExit log. The VMExit log is a chronological log of the "X" number of ex

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

<!-- description --> @brief Sets the value of tls.online_pps (unit testing only) <!-- inputs/outputs --> @param val The value to set tls.online_pps t

<!-- description --> @brief Sets the value of tls.rbx <!-- inputs/outputs --> @param val The value to set tls.rbx to

<!-- description --> @brief Sets the value of tls.rdx <!-- inputs/outputs --> @param val The value to set tls.rdx to