<!-- description --> @brief This syscall tells the microkernel to destroy a VP given an ID. <!-- inputs/outputs --> @param vpid The ID of the VP to d

<!-- description --> @brief This syscall tells the microkernel to destroy a VS given an ID. <!-- inputs/outputs --> @param vsid The ID of the VS to d

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

<!-- 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 extension's main function is executing the fail_entry(). <!-- inputs/outputs --> @return Returns true

<!-- description --> @brief Returns true if the extension's main function has completed it's execution. <!-- inputs/outputs --> @return Returns true

* <!-- description --> * @brief Copies "num" bytes from "src" to "pmut_dst". If "src" or "pmut_dst" are * NULLPTR, returns SHIM_FAILURE, other

* <!-- description --> * @brief Sets "num" bytes in the memory pointed to by "ptr" to "val". * If the provided parameters are valid, returns 0

<!-- description --> @brief Sets the value of CR3 <!-- inputs/outputs --> @param val the value to set CR3 to

<!-- description --> @brief Sets the value of tp (TLS pointer) <!-- inputs/outputs --> @param val the value to set tp (TLS pointer) to

<!-- description --> @brief Sets the current root page table to this root page table. <!-- inputs/outputs --> @param mut_tls the current TLS block @p

<!-- description --> @brief Advance the IP of the vs_t <!-- inputs/outputs --> @param tls the current TLS block @param intrinsic the intrinsic_t to u

<!-- description --> @brief n/a <!-- inputs/outputs --> @param version n/a @return n/a

<!-- description --> @brief n/a <!-- inputs/outputs --> @param rax n/a @return n/a

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

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

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

<!-- 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_intrinsic_op syscalls <!-- inputs/outputs --> @param tls the current TLS block @param intrinsic the int

<!-- description --> @brief Ensures that this VS is loaded <!-- inputs/outputs --> @param mut_tls the current TLS block @param intrinsic the intrinsi

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

<!-- description --> @brief Migrates this vs_t from one PP to another <!-- inputs/outputs --> @param tls the current TLS block @param intrinsic the i

<!-- description --> @brief Tells the user that the syscall is unknown or is not supported by this hypervisor. <!-- inputs/outputs --> @param tls the

<!-- description --> @brief Runs the vs_t. Note that this function does not return until a VMExit occurs. Once complete, this function will return the

<!-- description --> @brief Sets the value of a requested TLS register <!-- inputs/outputs --> @param reg the TLS register to set @param val the valu

<!-- description --> @brief Used to execute the actual checks. We put the checks in this function so that we can validate the tests both at compile-ti

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

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

* <!-- description --> * @brief The function's main purpose is to set up the state for the * microkernel. * * <!-- inputs/outputs --> * @

<!-- description --> @brief Writes to an MSR directly from the CPU given the address of the MSR to write as well as the value to write. Note that this

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

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

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

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

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

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

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

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

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

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

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

<!-- description --> @brief This syscall tells the microkernel to promote the requested VS. This will stop the hypervisor complete on the physical pro

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

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

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

<!-- description --> @brief Returns true if provided handle is valid <!-- inputs/outputs --> @param hndl the handle to verify @return Returns true if

<!-- description --> @brief Returns false if this RPT is the active RPT. <!-- inputs/outputs --> @param tls the current TLS block @return Returns fal

<!-- description --> @brief Returns true if this RPT is initialized. <!-- inputs/outputs --> @return Returns true if this RPT is initialized.

<!-- description --> @brief Sends a request to the driver without read or writing data. <!-- inputs/outputs --> @param req the request @return Return

<!-- description --> @brief Sets the bootstrap IP for this extension. This should be called by the syscall dispatcher as the result of a syscall from

<!-- description --> @brief Sets the fast fail IP for this extension. This should be called by the syscall dispatcher as the result of a syscall from

<!-- description --> @brief Sets the VMExit IP for this extension. This should be called by the syscall dispatcher as the result of a syscall from the

<!-- description --> @brief Tells the extension that the requested VM was set to active and therefore it's memory map should change on this PP. <!--

<!-- description --> @brief Tells the extension that a VM was destroyed so that it can release it's VM specific resources. <!-- inputs/outputs --> @p

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

<!-- 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 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 Adds a record in the VMExit log <!-- inputs/outputs --> @param ppid the id of the PP whose log should be added to @param

<!-- description --> @brief Given a root page table, the enties are aliased into this root page table, allowing software using this root page table to

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

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

<!-- description --> @brief This syscall tells the microkernel to destroy a VM given an ID. <!-- inputs/outputs --> @param vmid The ID of the VM to d

<!-- description --> @brief Migrates a VS to the provided PP. The VS must not be active. <!-- inputs/outputs --> @param vsid The ID of the VS to migr

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

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

<!-- description --> @brief Creates and returns a loader::mk_args_t for testing <!-- inputs/outputs --> @return Creates and returns a loader::mk_args

<!-- description --> @brief Creates and returns a tls_t for testing <!-- inputs/outputs --> @return Creates and returns a tls_t for testing

* <!-- description --> * @brief Sets a GDT descriptor's attrib given a GDT and a selector into * the provided GDT. * * <!-- inputs/outputs -

* <!-- description --> * @brief Sets a GDT descriptor's base given a GDT and a selector into * the provided GDT. * * <!-- inputs/outputs -->

* <!-- description --> * @brief Sets a GDT descriptor's limit given a GDT and a selector into * the provided GDT. * * <!-- inputs/outputs --

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

<!-- 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 vp_t associated with the provided vpid. <!-- inputs/outputs --> @param vpid the ID of the vp_t to get @return

<!-- description --> @brief Returns the GPA associated with the file <!-- inputs/outputs --> @return Returns the GPA associated with the file

<!-- description --> @brief Initializes the Global Storage (GS). <!-- inputs/outputs --> @param gs the gs_t to use @param sys the bf_syscall_t to use

<!-- 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 Sets up the mut_pool. Note that this similar to how the loader would set up the pool, but not the same. The loader's pages

<!-- description --> @brief Returns true if the provided VSID is the ID of a root VS. Returns false otherwise. This is the same as vsid == sys.bf_tls_