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

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

* <!-- description --> * @brief Releases a previously allocated elf_file_t that was allocated * using the alloc_and_copy_ext_elf_files functio

* <!-- description --> * @brief Releases a previously allocated elf_segment_t that was allocated * using the alloc_and_copy_mk_elf_segments fu

<!-- 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 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 vs_t <!-- inputs/outputs --> @return Returns the ID of this vs_t

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

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

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

<!-- description --> @brief Pops an element from the queue and returns bsl::errc_success. If the queue is empty, returns bsl::errc_failure. <!-- inpu

<!-- description --> @brief Sets the GPA associated with the file <!-- inputs/outputs --> @param val the GPA to associate with this file

<!-- 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 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 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 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 This syscall tells the microkernel to output the huge pool's stats to the console device the microkernel is currently usin

@copyright Copyright (C) 2020 Assured Information Security, Inc. @copyright Permission is hereby granted, free of charge, to any person obtaining a c

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

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

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

<!-- description --> @brief Executes the extension given an instruction pointer to execute the extension at, a stack pointer to execute the extension

* <!-- description --> * @brief Releases a previously allocated mk_args_t that was allocated * using the alloc_mk_args function. * * <!-- in

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

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

* <!-- description --> * @brief Releases a previously allocated span_t that was allocated * using the alloc_mk_stack function. * * <!-- inpu

* <!-- description --> * @brief Releases a previously allocated state_save_t that was allocated * using the alloc_and_copy_root_vp_state funct

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

<!-- description --> @brief Given an input register, returns a vsid if the provided register contains a valid vsid. Otherwise, this function returns b

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

<!-- description --> @brief Returns true if the active VM is the root VM. Returns false otherwise. <!-- inputs/outputs --> @return Returns true if th

<!-- description --> @brief Returns true if the provided VMID is the ID of the root VM. Returns false otherwise. <!-- inputs/outputs --> @param vmid

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

<!-- description --> @brief Tells the allocate() function to return a failure for the provided vpid/ppid combo. <!-- inputs/outputs --> @param vpid t

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

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

<!-- description --> @brief Sets the max number of allocations before the allocator will return a nullptr as if it were out of memory. <!-- inputs/ou

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

* <!-- description --> * @brief Stops and frees the VMM. This function is used by both the * stop_vmm() function and the start_vmm() function

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

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

<!-- 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 Sets the value of tls.vmid (unit testing only) <!-- inputs/outputs --> @param val The value to set tls.vmid to

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

<!-- description --> @brief Returns true if the queue is empty. Returns false otherwise. <!-- inputs/outputs --> @return Returns true if the queue is

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

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

<!-- description --> @brief Given an input register, returns a callback address on success, or bsl::safe_umx::failure() on failure. <!-- inputs/outpu

Return stdout+stderr output of the process. This call blocks until the process is complete, then returns the output.

<!-- description --> @brief Given an input register, returns a ppid if the provided register contains a valid ppid. Otherwise, this function returns b

<!-- description --> @brief Given an input register, returns a vmid if the provided register contains a valid vmid. Otherwise, this function returns b

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

<!-- description --> @brief Given an input register, returns a vpid if the provided register contains a valid vpid. Otherwise, this function returns b

<!-- 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 vp_t <!-- inputs/outputs --> @return Returns the ID of this vp_t

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

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

<!-- description --> @brief Initializes this dVpT <!-- inputs/outputs --> @param gs the gs_t to use @param tls the tls_t to use @param sys the bf_sys

<!-- description --> @brief Returns true if the active extension is the extension that registered for VMExits. Returns false otherwise. <!-- inputs/o

<!-- description --> @brief Returns true if the vs_t is a root vs_t, meaning it is a vs_t that is allowed to contain root state. A root VS will have t

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

* <!-- description --> * @brief Copies "num" bytes from "src" to "dst". If "src" or "dst" are * NULLPTR, returns FAILURE, otherwise returns 0.

* <!-- description --> * @brief This function frees memory previously allocated using the * platform_alloc_contiguous() function. * * <!-- i

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

* <!-- description --> * @brief Initializes the serial port for use */

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

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

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

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