| 117 | /// |
| 118 | [[nodiscard]] extern "C" auto |
| 119 | dispatch_syscall_trampoline(tls_t *const pmut_tls) noexcept -> bsl::uint64 |
| 120 | { |
| 121 | bsl::expects(nullptr != pmut_tls); |
| 122 | bsl::expects(nullptr != pmut_tls->ext); |
| 123 | |
| 124 | return dispatch_syscall( |
| 125 | *pmut_tls, |
| 126 | g_mut_page_pool, |
| 127 | g_mut_huge_pool, |
| 128 | g_mut_intrinsic, |
| 129 | g_mut_vm_pool, |
| 130 | g_mut_vp_pool, |
| 131 | g_mut_vs_pool, |
| 132 | g_mut_ext_pool, |
| 133 | g_mut_vmexit_log) |
| 134 | .get(); |
| 135 | } |
| 136 | |
| 137 | /// <!-- description --> |
| 138 | /// @brief Provides the main entry point of the microkernel. This |
nothing calls this directly
no test coverage detected