Function bootstrap_entry

kernel/integration/bf_vs_op_destroy_vs.cpp:107–169

    ///   @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{};

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

        // create with invalid handle
        {
            constexpr auto hndl{BF_INVALID_HANDLE};

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

        // create with invalid vsid
        {
            // BF_INVALID_ID
            mut_ret = bf_vs_op_destroy_vs_impl({}, BF_INVALID_ID.get());
            integration::require(mut_ret != BF_STATUS_SUCCESS);

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

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

        // create all and and then make sure we can destroy them all
        {
            for (bsl::safe_idx mut_i{}; mut_i < HYPERVISOR_MAX_VPS; ++mut_i) {
                auto const vsid{g_mut_sys.bf_vs_op_create_vs({}, {})};
                integration::require(vsid.is_valid());
            }

            for (bsl::safe_idx mut_i{}; mut_i < HYPERVISOR_MAX_VPS; ++mut_i) {
                auto const ret{g_mut_sys.bf_vs_op_destroy_vs(bsl::to_u16(mut_i))};
                integration::require(ret);
            }
        }

        // do it again to make sure that after destroy, create still works
        {
            for (bsl::safe_idx mut_i{}; mut_i < HYPERVISOR_MAX_VPS; ++mut_i) {
                auto const vsid{g_mut_sys.bf_vs_op_create_vs({}, {})};
                integration::require(vsid.is_valid());
            }

            for (bsl::safe_idx mut_i{}; mut_i < HYPERVISOR_MAX_VPS; ++mut_i) {
                auto const ret{g_mut_sys.bf_vs_op_destroy_vs(bsl::to_u16(mut_i))};
                integration::require(ret);
            }