Function bootstrap_entry

kernel/integration/bf_vs_op_set_active.cpp:107–330

    ///   @param ppid0 the physical process to bootstrap
    ///
    extern "C" void
    bootstrap_entry(bsl::safe_u16::value_type const ppid0) noexcept
    {
        constexpr auto one{bsl::safe_u16::magic_1()};
        constexpr auto vmid0{bsl::safe_u16::magic_0()};
        constexpr auto ppid1{bsl::safe_u16::magic_1()};

        // invalid handle
        {
            constexpr auto hndl{BF_INVALID_HANDLE};
            bf_status_t const ret{bf_vs_op_set_active_impl(hndl.get(), {}, {}, {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // invalid vmid
        {
            constexpr auto vmid{BF_INVALID_ID};
            bf_status_t const ret{bf_vs_op_set_active_impl({}, vmid.get(), {}, {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // vmid out of range
        {
            constexpr auto vmid{(bsl::to_u16(HYPERVISOR_MAX_VSS) + one).checked()};
            bf_status_t const ret{bf_vs_op_set_active_impl({}, vmid.get(), {}, {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // vmid never allocated
        {
            constexpr auto vmid{(bsl::to_u16(HYPERVISOR_MAX_VSS) - one).checked()};
            bf_status_t const ret{bf_vs_op_set_active_impl({}, vmid.get(), {}, {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // invalid vpid
        {
            constexpr auto vpid{BF_INVALID_ID};
            bf_status_t const ret{bf_vs_op_set_active_impl({}, {}, vpid.get(), {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // vpid out of range
        {
            constexpr auto vpid{(bsl::to_u16(HYPERVISOR_MAX_VSS) + one).checked()};
            bf_status_t const ret{bf_vs_op_set_active_impl({}, {}, vpid.get(), {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // vpid never allocated
        {
            constexpr auto vpid{(bsl::to_u16(HYPERVISOR_MAX_VSS) - one).checked()};
            bf_status_t const ret{bf_vs_op_set_active_impl({}, {}, vpid.get(), {})};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

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