mirror of
https://github.com/Bareflank/hypervisor
synced 2026-08-17 06:23:04 -04:00
6850437bb9
This patch addresses the following: - Adds a number of addition hypercall that are needed for MicroV - Updates the code to support the changes made to the BSL including better checking of safe integrals and narrow contracts - Adds a lib folder to contain code shared between the kernel and extensions where possible. - Minor initial additions for Rust. Still lots of work to do here
81 lines
2.8 KiB
C++
81 lines
2.8 KiB
C++
/// @copyright
|
|
/// Copyright (C) 2020 Assured Information Security, Inc.
|
|
///
|
|
/// @copyright
|
|
/// Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
/// of this software and associated documentation files (the "Software"), to deal
|
|
/// in the Software without restriction, including without limitation the rights
|
|
/// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
/// copies of the Software, and to permit persons to whom the Software is
|
|
/// furnished to do so, subject to the following conditions:
|
|
///
|
|
/// @copyright
|
|
/// The above copyright notice and this permission notice shall be included in
|
|
/// all copies or substantial portions of the Software.
|
|
///
|
|
/// @copyright
|
|
/// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
/// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
/// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
/// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
/// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
/// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
/// SOFTWARE.
|
|
|
|
#ifndef MOCKS_DISPATCH_BOOTSTRAP
|
|
#define MOCKS_DISPATCH_BOOTSTRAP
|
|
|
|
#include <bf_syscall_t.hpp>
|
|
#include <gs_t.hpp>
|
|
#include <intrinsic_t.hpp>
|
|
#include <tls_t.hpp>
|
|
#include <vp_pool_t.hpp>
|
|
#include <vs_pool_t.hpp>
|
|
|
|
#include <bsl/discard.hpp>
|
|
#include <bsl/errc_type.hpp>
|
|
#include <bsl/expects.hpp>
|
|
#include <bsl/safe_integral.hpp>
|
|
|
|
namespace example
|
|
{
|
|
/// <!-- description -->
|
|
/// @brief Dispatches the bootstrap process as needed. Note that
|
|
/// the bootstrap callback is only called when starting the
|
|
/// hypervisor on root VPs.
|
|
///
|
|
/// <!-- inputs/outputs -->
|
|
/// @param gs the gs_t to use
|
|
/// @param tls the tls_t to use
|
|
/// @param sys the bf_syscall_t to use
|
|
/// @param intrinsic the intrinsic_t to use
|
|
/// @param vp_pool the vp_pool_t to use
|
|
/// @param vs_pool the vs_pool_t to use
|
|
/// @param ppid the ID of the PP to bootstrap
|
|
/// @return Returns bsl::errc_success on success, bsl::errc_failure
|
|
/// and friends otherwise
|
|
///
|
|
[[nodiscard]] static constexpr auto
|
|
dispatch_bootstrap(
|
|
gs_t const &gs,
|
|
tls_t const &tls,
|
|
syscall::bf_syscall_t const &sys,
|
|
intrinsic_t const &intrinsic,
|
|
vp_pool_t const &vp_pool,
|
|
vs_pool_t const &vs_pool,
|
|
bsl::safe_u16 const &ppid) noexcept -> bsl::errc_type
|
|
{
|
|
bsl::expects(ppid.is_valid_and_checked());
|
|
bsl::expects(ppid != syscall::BF_INVALID_ID);
|
|
|
|
bsl::discard(gs);
|
|
bsl::discard(sys);
|
|
bsl::discard(intrinsic);
|
|
bsl::discard(vp_pool);
|
|
bsl::discard(vs_pool);
|
|
|
|
return tls.test_ret;
|
|
}
|
|
}
|
|
|
|
#endif
|