Function bootstrap_entry

kernel/integration/bf_vm_op_map_direct.cpp:108–218

    ///   @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
        {
            constexpr auto hndl{BF_INVALID_HANDLE};
            constexpr auto phys{HYPERVISOR_PAGE_SIZE};
            void *pmut_mut_p{};

            mut_ret = bf_vm_op_map_direct_impl(hndl.get(), {}, phys.get(), &pmut_mut_p);
            integration::require(mut_ret != BF_STATUS_SUCCESS);
        }

        // create with invalid vmid
        {
            constexpr auto phys{HYPERVISOR_PAGE_SIZE};
            void *pmut_mut_p{};

            // BF_INVALID_ID
            mut_ret = bf_vm_op_map_direct_impl({}, BF_INVALID_ID.get(), phys.get(), &pmut_mut_p);
            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_vm_op_map_direct_impl({}, oor.get(), phys.get(), &pmut_mut_p);
            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_vm_op_map_direct_impl({}, nyc.get(), phys.get(), &pmut_mut_p);
            integration::require(mut_ret != BF_STATUS_SUCCESS);
        }

        // create with invalid phys
        {
            void *pmut_mut_p{};

            // nullptr
            mut_ret = bf_vm_op_map_direct_impl({}, {}, {}, &pmut_mut_p);
            integration::require(mut_ret != BF_STATUS_SUCCESS);

            // out of range
            auto const oor{0xFFFFFFFFFFFFF000_u64};
            mut_ret = bf_vm_op_map_direct_impl({}, {}, oor.get(), &pmut_mut_p);
            integration::require(mut_ret != BF_STATUS_SUCCESS);

            // unaligned address
            auto const uaa{0x42_u64};
            mut_ret = bf_vm_op_map_direct_impl({}, {}, uaa.get(), &pmut_mut_p);
            integration::require(mut_ret != BF_STATUS_SUCCESS);

            /// TODO:
            /// - Need to add a check for a phys mapped to HYPERVISOR_MK_STACK_ADDR
            /// - Need to add a check for a phys mapped to HYPERVISOR_MK_CODE_ADDR
            /// - Need to add a check for a phys mapped to HYPERVISOR_MK_PAGE_POOL_ADDR