<!-- description --> @brief Tells allocate to fail

<!-- description --> @brief Sets the return value of bf_intrinsic_op_wrmsr. (unit testing only) <!-- inputs/outputs --> @param msr The address of the

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

<!-- description --> @brief Sets the return value of bf_vm_op_destroy_vm. (unit testing only) <!-- inputs/outputs --> @param vmid The ID of the VM to

<!-- description --> @brief Sets the return value of bf_vm_op_map_direct. (unit testing only) <!-- inputs/outputs --> @param vmid The ID of the VM to

<!-- description --> @brief Sets the return value of bf_vm_op_tlb_flush. (unit testing only) <!-- inputs/outputs --> @param vmid The ID of the VM to

<!-- description --> @brief Sets the return value of bf_vp_op_destroy_vp. (unit testing only) <!-- inputs/outputs --> @param vpid The ID of the VP to

<!-- description --> @brief Sets the return value of bf_vs_op_advance_ip_and_run. (unit testing only) <!-- inputs/outputs --> @param vmid The ID of t

<!-- description --> @brief Sets the return value of bf_vs_op_advance_ip_and_run_current. (unit testing only) <!-- inputs/outputs --> @param errc the

<!-- description --> @brief Sets the return value of bf_vs_op_advance_ip_and_set_active. (unit testing only) <!-- inputs/outputs --> @param vmid The

<!-- description --> @brief Sets the return value of bf_vs_op_clear. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS to clea

<!-- description --> @brief Sets the return value of bf_vs_op_destroy_vs. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS to

<!-- description --> @brief Sets the return value of bf_vs_op_init_as_root. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS

<!-- description --> @brief Sets the return value of bf_vs_op_migrate. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS to mi

<!-- description --> @brief Sets the return value of bf_vs_op_promote. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS to pr

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

<!-- description --> @brief Sets the return value of bf_vs_op_set_active. (unit testing only) <!-- inputs/outputs --> @param vmid The ID of the VM to

<!-- description --> @brief Sets the return value of bf_vs_op_tlb_flush. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS to

<!-- description --> @brief Sets the return value of bf_vs_op_write. (unit testing only) <!-- inputs/outputs --> @param vsid The ID of the VS to writ

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

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

<!-- description --> @brief Output a character to stdout <!-- inputs/outputs --> @param c the character to output

<!-- description --> @brief Output a string to stdout <!-- inputs/outputs --> @param str the string to output @param len the total number of bytes to

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

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

<!-- description --> @brief Implements the bf_vs_op_run syscall <!-- inputs/outputs --> @param mut_tls the current TLS block @param mut_intrinsic the

<!-- description --> @brief Implements the bf_vs_op_run_current syscall <!-- inputs/outputs --> @param mut_tls the current TLS block @param mut_intri

<!-- 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 Makes sure that all m_main_rpt aliases are updated in all of the direct maps. This ensures that any allocations are mapped

* <!-- description --> * @brief The program and section header locations in ELF are actually * offsets, not pointers. The problem is,

* <!-- description --> * @brief Executes a callback on a specific PP. * * <!-- inputs/outputs --> * @param cpu the PP to execute the callback

Parse arguments and dispatch to main().

<!-- description --> @brief Adds an exteneion's fail stack for a specific PP to the provided root page table at the provided address. <!-- inputs/out

<!-- description --> @brief Adds the exteneion's fail stacks to the provided root page table. <!-- inputs/outputs --> @param mut_tls the current TLS

<!-- description --> @brief Adds all of the program segments given an ELF file to the provided root page table. <!-- inputs/outputs --> @param mut_tl

<!-- description --> @brief Adds an exteneion's stack for a specific PP to the provided root page table at the provided address. <!-- inputs/outputs

<!-- description --> @brief Adds the exteneion's stacks to the provided root page table. <!-- inputs/outputs --> @param mut_tls the current TLS block

<!-- description --> @brief Adds an exteneion's TLS block for a specific PP to the provided root page table at the provided address. <!-- inputs/outp

<!-- description --> @brief Adds an exteneion's TLS (has nothing to do with the microkernel's TLS). Remember that each extension has two pages of TLS

<!-- description --> @brief Adds the exteneion's TLS block to the provided root page table. <!-- inputs/outputs --> @param mut_tls the current TLS bl

<!-- description --> @brief If return_nullptr_on_empty is false, returns the new head of the page_pool_t on success. If return_nullptr_on_empty is tru

* <!-- description --> * @brief This function provides the guts of the * alloc_and_copy_ext_elf_files_from_user function, by performing the *

* <!-- description --> * @brief When the start VMM function is executed, the user must provide * the address and size of the extension ELF fil

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

* <!-- description --> * @brief When the start VMM function is executed, the user must provide * the address and size of the microkernel ELF f

* <!-- description --> * @brief This function provides the guts of the * alloc_and_copy_mk_elf_segments function, by performing the * all

* <!-- description --> * @brief When the start VMM function is executed, the user must provide * the address and size of the microkernel ELF f

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

* <!-- description --> * @brief The function's main purpose is to save state from a root VP. * The root VP is the thing executing the root VM'

* <!-- description --> * @brief Allocates and starts the VMM * * <!-- inputs/outputs --> * @param args the arguments to verify * @return LO

* <!-- description --> * @brief Allocates a chunk of memory for the arguments that will be * passed to the microkernel's _start function * *

* <!-- description --> * @brief Allocates a chunk of memory for the debug ring that will be * used by the microkernel. * * <!-- inputs/outpu

* <!-- description --> * @brief This function allocates the root page table * * <!-- inputs/outputs --> * @param pmut_rpt where to return the

* <!-- description --> * @brief Allocates a chunk of memory for the stack used by the * microkernel. Note that the "size" parameter is in tota

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

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

* <!-- description --> * @brief Sets up the CPU above and beyond what UEFI has provided. * * <!-- inputs/outputs --> * @return Returns 0 on su

* <!-- description --> * @brief Locates all of the protocols that are needed by this architecture * * <!-- inputs/outputs --> * @return return

* <!-- description --> * @brief Returns the total number of online CPUs on this architecture * (i.e. PPs) * * <!-- inputs/outputs --> * @

* <!-- description --> * @brief Executes a callback on a specific PP on this architecture. * * <!-- inputs/outputs --> * @param cpu the PP to

<!-- description --> @brief Returns the ID of the PP the requested vs_t is assigned to <!-- inputs/outputs --> @param vsid the ID of the vs_t to quer

<!-- description --> @brief Returns the ID of the VM the requested vs_t is assigned to <!-- inputs/outputs --> @param vsid the ID of the vs_t to quer

<!-- description --> @brief Returns the ID of the VM the requested vp_t is assigned to <!-- inputs/outputs --> @param vpid the ID of the vp_t to quer

<!-- description --> @brief Returns the ID of the VM the requested vp_t is assigned to <!-- inputs/outputs --> @param vpid the ID of the vp_t to quer

<!-- description --> @brief Returns the ID of the VP the requested vs_t is assigned to <!-- inputs/outputs --> @param vsid the ID of the vs_t to quer

<!-- description --> @brief Returns the ID of the VP the requested vs_t is assigned to <!-- inputs/outputs --> @param vsid the ID of the vs_t to quer

<!-- description --> @brief Returns the total number of times bf_intrinsic_op_wrmsr has been called (unit testing only) <!-- inputs/outputs --> @retu

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

<!-- description --> @brief Returns the total number of times bf_tls_set_r10 has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_r11 has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_r12 has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_r13 has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_r14 has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_r15 has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_r8 has been called (unit testing only) <!-- inputs/outputs --> @return Retur

<!-- description --> @brief Returns the total number of times bf_tls_set_r9 has been called (unit testing only) <!-- inputs/outputs --> @return Retur

<!-- description --> @brief Returns the total number of times bf_tls_set_rax has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_rbp has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_rbx has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_rcx has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_rdi has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_rdx has been called (unit testing only) <!-- inputs/outputs --> @return Retu

<!-- description --> @brief Returns the total number of times bf_tls_set_rsi has been called (unit testing only) <!-- inputs/outputs --> @return Retu

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

<!-- description --> @brief Returns the total number of times bf_vm_op_create_vm has been called (unit testing only) <!-- inputs/outputs --> @return

<!-- description --> @brief Returns the total number of times bf_vm_op_destroy_vm has been called (unit testing only) <!-- inputs/outputs --> @return

<!-- description --> @brief Returns the total number of times bf_vm_op_map_direct has been called (unit testing only) <!-- inputs/outputs --> @return

<!-- description --> @brief Returns the total number of times bf_vm_op_tlb_flush has been called (unit testing only) <!-- inputs/outputs --> @return

<!-- description --> @brief Returns the total number of times bf_vm_op_unmap_direct_broadcast has been called (unit testing only) <!-- inputs/outputs

<!-- description --> @brief Returns the total number of times bf_vm_op_unmap_direct has been called (unit testing only) <!-- inputs/outputs --> @retu