Function bootstrap_entry

kernel/integration/bf_vs_op_write.cpp:107–189

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

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

        // invalid handle
        {
            constexpr auto reg{bf_reg_t::bf_reg_t_rax};
            bsl::safe_u64 mut_val{};

            constexpr auto hndl{BF_INVALID_HANDLE};
            bf_status_t const ret{bf_vs_op_write_impl(hndl.get(), {}, reg, mut_val.get())};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // invalid id
        {
            constexpr auto reg{bf_reg_t::bf_reg_t_rax};
            bsl::safe_u64 mut_val{};

            constexpr auto vsid{BF_INVALID_ID};
            bf_status_t const ret{bf_vs_op_write_impl({}, vsid.get(), reg, mut_val.get())};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // id out of range
        {
            constexpr auto reg{bf_reg_t::bf_reg_t_rax};
            bsl::safe_u64 mut_val{};

            constexpr auto vsid{(bsl::to_u16(HYPERVISOR_MAX_VSS) + one).checked()};
            bf_status_t const ret{bf_vs_op_write_impl({}, vsid.get(), reg, mut_val.get())};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        // id never allocated
        {
            constexpr auto reg{bf_reg_t::bf_reg_t_rax};
            bsl::safe_u64 mut_val{};

            constexpr auto vsid{(bsl::to_u16(HYPERVISOR_MAX_VSS) - one).checked()};
            bf_status_t const ret{bf_vs_op_write_impl({}, vsid.get(), reg, mut_val.get())};
            integration::require(ret != BF_STATUS_SUCCESS);
        }

        auto const vsid{g_mut_sys.bf_vs_op_create_vs(vpid, bsl::to_u16(ppid0))};
        integration::require(vsid.is_valid());

        // unsupported reg
        {
            constexpr auto reg{bf_reg_t::bf_reg_t_unsupported};
            bsl::safe_u64 mut_val{};

            bf_status_t const ret{bf_vs_op_write_impl({}, vsid.get(), reg, mut_val.get())};
            integration::require(ret != BF_STATUS_SUCCESS);