core.cxxm

Go to the documentation of this file.

/// SPDX-License-Identifier: Apache-2.0
/// @file zxfoundation/dgp/gate.zcomponent/core.cxxm
/// @brief Gate subsystem core — gate lifecycle declarations.
 
export module zxfoundation.dgp.gate.core;
import zxfoundation.dgp.gate.types;
import zxfoundation.base.types;
import lib.error;
import std;
 
export {
 
namespace zxfoundation::dgp::gate {
 
    /// @brief Create a new gate descriptor.
    /// @param type             Gate type (nucleus or domain).
    /// @param auth             Authorization policy.
    /// @param target_domain_id Target domain ID.
    /// @param entry_va         Entry-point virtual address in the target domain.
    /// @param target_key       Storage key of the target domain.
    /// @return                 The allocated slot ID, or an error if the table is full.
    auto gate_create(
        gate_type type,
        gate_auth auth,
        u32       target_domain_id,
        u64       entry_va,
        u8        target_key
    ) noexcept -> std::expected<u32, lib::kernel_error>;
 
    /// @brief Destroy a gate, freeing its slot.
    /// @param id  The gate slot ID to destroy.
    /// @return    Success, or an error if the id is invalid or already free.
    auto gate_destroy(u32 id) noexcept
        -> std::expected<void, lib::kernel_error>;
 
    /// @brief Destroy all gates owned by a specific domain.
    /// @param domain_id  The domain whose gates should be destroyed.
    auto destroy_for_domain(u32 domain_id) noexcept -> void;
 
    /// @brief Look up a gate descriptor by id.
    /// @param id  The gate slot ID to look up.
    /// @return    Pointer to the gate_desc, or nullptr if the id is invalid
    ///            or the slot is unused.
    auto gate_find(u32 id) noexcept -> gate_desc*;
 
    auto register_gate_cap_lookup() noexcept -> void;
 
    /// @brief Initialize the gate subsystem.
    auto gate_init() noexcept -> void;
 
    /// @brief Return the current number of active gates.
    auto gate_count() noexcept -> u32;
 
} // namespace zxfoundation::dgp::gate
 
} // end export