<!-- description --> @brief TODO <!-- inputs/outputs --> @param vmid The ID of the VM to advance the IP for @param vpid The ID of the VP to advance t

<!-- 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 TODO <!-- inputs/outputs --> @return Returns bsl::errc_success on success, bsl::errc_failure otherwise

<!-- 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 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 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 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 This syscall tells the microkernel to create a VS and return it's ID. <!-- inputs/outputs --> @param vpid The ID of the V

<!-- description --> @brief This syscall tells the microkernel to create a VS and return it's ID. <!-- inputs/outputs --> @param vpid The ID of the V

<!-- 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 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 This syscall tells the microkernel to initialize a VS using the root VP state provided by the loader using the current PPI

<!-- 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 TODO <!-- inputs/outputs --> @param vsid The ID of the VS to migrate @param ppid The ID of the PP to migrate the VS to @r

<!-- 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 This syscall tells the microkernel to promote the requested VS. This will stop the hypervisor complete on the physical pro

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

<!-- description --> @brief Reads a CPU register from the VS given a bf_reg_t. Note that the bf_reg_t is architecture specific. <!-- inputs/outputs -

<!-- description --> @brief Reads a CPU register from the VS given a bf_reg_t. Note that the bf_reg_t is architecture specific. <!-- inputs/outputs -

<!-- 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 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 bf_vs_op_run_current tells the microkernel to execute the currently active VS, VP and VM. <!-- inputs/outputs --> @return

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

<!-- 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 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 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 Writes to a CPU register in the VS given a bf_reg_t and the value to write. Note that the bf_reg_t is architecture specifi

<!-- description --> @brief Writes to a CPU register in the VS given a bf_reg_t and the value to write. Note that the bf_reg_t is architecture specifi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* <!-- 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 and an 32bit hex to the console * * <!-- inputs/outputs --> * @param str the string to output

* <!-- 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 and an 64bit hex to the console * * <!-- inputs/outputs --> * @param str the string to output

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* <!-- 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 and an 32bit hex to the console * * <!-- inputs/outputs --> * @param str the string to output

* <!-- 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 and an 64bit hex 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 Outputs a string and an 8bit hex 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 Bootstraps this ext_pool_t by calling all of the registered bootstrap callbacks for each extension. <!-- inputs/outputs -

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

<!-- description --> @brief Bootstraps this ext_pool_t by calling all of the registered bootstrap callbacks for each extension. <!-- inputs/outputs -