Function bootstrap_entry

kernel/integration/bf_vp_op_create_vp.cpp:107–154

    ///   @param ppid0 the physical process to bootstrap
    ///
    extern "C" void
    bootstrap_entry(bsl::safe_u16::value_type const ppid0) noexcept
    {
        bsl::discard(ppid0);
        bf_status_t mut_ret{};

        // create with invalid handle
        {
            bsl::safe_u16 mut_id{};
            constexpr auto hndl{BF_INVALID_HANDLE};

            mut_ret = bf_vp_op_create_vp_impl(hndl.get(), {}, mut_id.data());
            integration::require(mut_ret != BF_STATUS_SUCCESS);
        }

        // create with invalid vmid
        {
            bsl::safe_u16 mut_id{};

            // BF_INVALID_ID
            mut_ret = bf_vp_op_create_vp_impl({}, BF_INVALID_ID.get(), mut_id.data());
            integration::require(mut_ret != BF_STATUS_SUCCESS);

            // out of range
            auto const oor{bsl::to_u16(HYPERVISOR_MAX_VMS + bsl::safe_u64::magic_1()).checked()};
            mut_ret = bf_vp_op_create_vp_impl({}, oor.get(), mut_id.data());
            integration::require(mut_ret != BF_STATUS_SUCCESS);

            // not yet created
            auto const nyc{bsl::to_u16(HYPERVISOR_MAX_VMS - bsl::safe_u64::magic_1()).checked()};
            mut_ret = bf_vp_op_create_vp_impl({}, nyc.get(), mut_id.data());
            integration::require(mut_ret != BF_STATUS_SUCCESS);
        }

        // create all and prove that creating one more will fail
        {
            for (bsl::safe_idx mut_i{}; mut_i < HYPERVISOR_MAX_VPS; ++mut_i) {
                auto const vpid{g_mut_sys.bf_vp_op_create_vp({})};
                integration::require(vpid.is_valid());
            }

            auto const vpid{g_mut_sys.bf_vp_op_create_vp({})};
            integration::require(vpid.is_invalid());
        }

        bsl::debug() << "success. remaining backtrace is expected\n" << bsl::here();
        return bf_control_op_exit();
    }

    /// <!-- description -->
    ///   @brief Implements the fast fail entry function. This is registered