* <!-- description --> * @brief Returns the size (in bytes) of the provided file * * <!-- inputs/outputs --> * @param file_protocol the file p

<!-- description --> @brief Given an input register, returns a guest linear address if the provided register contains a valid guest linear address. Ot

<!-- description --> @brief Given an input register, returns a huge allocation size if the provided register contains a valid huge allocation size. Ot

* <!-- description --> * @brief This function gets the addr of the microkernel's huge pool * * <!-- inputs/outputs --> * @param huge_pool a po

* <!-- description --> * @brief This function gets the addr of the microkernel's page pool * * <!-- inputs/outputs --> * @param page_pool a po

<!-- description --> @brief Given an input register, returns a physical address if the provided register contains a valid physical address. Otherwise,

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

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

<!-- description --> @brief Returns true if a callback has already been registered by the active ext. Returns false otherwise. <!-- inputs/outputs --

<!-- description --> @brief Initializes host specific information in the VMCS. <!-- inputs/outputs --> @param mut_tls the current TLS block @param mu

<!-- description --> @brief Initialize an AP. <!-- inputs/outputs --> @param mut_tls the current TLS block @param mut_vm_pool the vm_pool_t to use

<!-- description --> @brief Initialize the BSP which also initializes all of the global resources used by the microkernel, and starts the extensions.

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

<!-- description --> @brief Initializes a direct map root page table to support the execution of this extension (with the inclusion of a direct map).

<!-- description --> @brief Initializes a root page table to support the execution of this extension. <!-- inputs/outputs --> @param mut_tls the curr

<!-- description --> @brief Implements intrinsic_t::cr0 <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::cr3 <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::cr4 <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::es_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::es_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::es_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::es_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::es_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::invlpga <!-- inputs/outputs --> @param addr n/a @param asid n/a

<!-- description --> @brief Implements intrinsic_t::invvpid <!-- inputs/outputs --> @param desc n/a @param type n/a

<!-- description --> @brief Implements intrinsic_t::es_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::tr_selector <!-- inputs/outputs --> @return n/a

<!-- description --> @brief Implements intrinsic_t::vmcl <!-- inputs/outputs --> @param phys n/a @return n/a

<!-- description --> @brief Implements intrinsic_t::vmld <!-- inputs/outputs --> @param phys n/a @return n/a

<!-- description --> @brief Implements intrinsic_t::vmwr16 <!-- inputs/outputs --> @param field n/a @param val n/a @return n/a

<!-- description --> @brief Implements intrinsic_t::vmwr32 <!-- inputs/outputs --> @param field n/a @param val n/a @return n/a

<!-- description --> @brief Implements intrinsic_t::vmwr64 <!-- inputs/outputs --> @param field n/a @param val n/a @return n/a

<!-- description --> @brief Implements intrinsic_t::vmwrfunc <!-- inputs/outputs --> @param field n/a @param pmut_func n/a @return n/a

<!-- description --> @brief Returns the ID of the first identified PP this vm_t is active on. If the vm_t is not active, bsl::safe_u16::failure() is r

<!-- description --> @brief Returns the ID of the PP this vp_t is active on. If the vp_t is not active, bsl::safe_u16::failure() is returned. <!-- in

<!-- description --> @brief Returns true if the requested vs_t is allocated, false otherwise <!-- inputs/outputs --> @param vsid the ID of the vs_t t

<!-- description --> @brief Returns true if the requested vp_t is allocated, false otherwise <!-- inputs/outputs --> @param vpid the ID of the vp_t t

<!-- description --> @brief Returns true if the requested VpT is allocated, false otherwise <!-- inputs/outputs --> @param vpid the ID of the VpT to

<!-- description --> @brief Returns true if the requested VsT is allocated, false otherwise <!-- inputs/outputs --> @param vpid the ID of the VsT to

<!-- description --> @brief Returns true if the requested vs_t is allocated, false otherwise <!-- inputs/outputs --> @param vsid the ID of the vs_t t

<!-- description --> @brief Returns true if the requested vp_t is allocated, false otherwise <!-- inputs/outputs --> @param vpid the ID of the vp_t t

<!-- description --> @brief Returns true if this vp_t is allocated, false otherwise <!-- inputs/outputs --> @return Returns true if this vp_t is allo

<!-- description --> @brief Returns true if the requested vm_t is deallocated, false otherwise <!-- inputs/outputs --> @param vmid the ID of the vm_t

<!-- description --> @brief Returns true if the requested vs_t is deallocated, false otherwise <!-- inputs/outputs --> @param vsid the ID of the vs_t

<!-- description --> @brief Returns true if the requested vp_t is deallocated, false otherwise <!-- inputs/outputs --> @param vpid the ID of the vp_t

<!-- description --> @brief Returns true if the requested vm_t is deallocated, false otherwise <!-- inputs/outputs --> @param vmid the ID of the vm_t

<!-- description --> @brief Returns true if the requested vs_t is deallocated, false otherwise <!-- inputs/outputs --> @param vsid the ID of the vs_t

<!-- description --> @brief Returns true if the requested vp_t is deallocated, false otherwise <!-- inputs/outputs --> @param vpid the ID of the vp_t

<!-- description --> @brief Returns true if the exception came from the microkernel. Returns false if the exception came from an extension <!-- input

Return True if compile_command matches an MSVC CL-style driver.

Return True if path is equal to or fully contained within parent. Assumes both paths are canonicalized with os.path.realpath.

<!-- description --> @brief Returns true if the provided version is supported. Returns false otherwise. <!-- inputs/outputs --> @param reg the regist

<!-- description --> @brief Returns true if the vm_t associated with the provided vmid is destroyable. Returns false otherwise. <!-- inputs/outputs -

<!-- description --> @brief Returns true if the requested vp_t is active on another PP. Returns false otherwise. <!-- inputs/outputs --> @param tls t

<!-- description --> @brief Returns true if the vp_t associated with the provided vpid is assigned to the provided VM. Returns false otherwise. <!--

<!-- description --> @brief Returns true if the vp_t associated with the provided vpid is destroyable. Returns false otherwise. <!-- inputs/outputs -

<!-- description --> @brief Returns true if the requested vs_t is active on another PP. Returns false otherwise. <!-- inputs/outputs --> @param tls t

<!-- description --> @brief Returns true if the vs_t associated with the provided vsid is assigned to the provided PP. Returns false otherwise. <!--

<!-- description --> @brief Returns true if the vs_t associated with the provided vsid is assigned to the provided VP. Returns false otherwise. <!--

<!-- description --> @brief Returns true if the vs_t associated with the provided vsid is destroyable. Returns false otherwise. <!-- inputs/outputs -

<!-- description --> @brief Returns true if the vs_t associated with the provided vsid is migratable to the PP associated with the provided ppid. Retu

* <!-- description --> * @brief Loads the ELF images from the EFI partition and starts the VMM. * * <!-- inputs/outputs --> * @return returns

<!-- description --> @brief Loads the initial state of the program header table. <!-- inputs/outputs --> @param mut_phdr_table the program header tab

* <!-- description --> * @brief Locates all of the protocols that are needed * * <!-- inputs/outputs --> * @return returns EFI_SUCCESS on succ

Entry point.

<!-- description --> @brief Main function for this unit test. If a call to bsl::ut_check() fails the application will fast fail. If all calls to bsl::

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

* <!-- description --> * @brief This function provides the guts of the map_ext_elf_files function, * by performing the map operation for a sin

* <!-- description --> * @brief This function maps the extensions's ELF files into the * microkernel's root page tables. * * <!-- inputs/out

* <!-- description --> * @brief This function maps the microkernel's args into the microkernel's * root page tables. * * <!-- inputs/outputs

* <!-- description --> * @brief This function maps the code aliases into the microkernel's * root page tables. For more information about how

* <!-- description --> * @brief This function maps the microkernel's debug_ring into the * microkernel's root page tables. * * <!-- inputs/o

* <!-- description --> * @brief This function maps the microkernel's ELF file into the * microkernel's root page tables. * * <!-- inputs/out

* <!-- description --> * @brief This function maps the microkernel's ELF segment into the * microkernel's root page tables. * * <!-- inputs/

* <!-- description --> * @brief This function maps the microkernel's ELF segments into the * microkernel's root page tables. * * <!-- inputs

* <!-- description --> * @brief This function maps the microkernel's huge pool into the * microkernel's root page tables. * * <!-- inputs/ou

* <!-- description --> * @brief This function maps the microkernel's page pool into the * microkernel's root page tables. * * @note Unlike

* <!-- description --> * @brief This function maps the microkernel's stack into the microkernel's * root page tables. * * <!-- inputs/output

* <!-- description --> * @brief This function maps the microkernel's state into the microkernel's * root page tables. * * <!-- inputs/output

* <!-- description --> * @brief This function maps the root VP's state into the microkernel's * root page tables. * * <!-- inputs/outputs --

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

Split around '--' into driver args and IWYU args.

<!-- description --> @brief Returns the offset of the phdrtbl in a file_t <!-- inputs/outputs --> @param file the file_t to get the offset from @retu

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

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

* <!-- description --> * @brief Initializes the architecture. Some platforms might need per CPU * initialization logic to get the CPU set up.

* <!-- description --> * @brief Initializes the archiecture. Some platforms might need per CPU * initialization logic to get the CPU set up. M