core.cxxm

/// SPDX-License-Identifier: Apache-2.0
/// @file ipc.cxxm
/// @brief Bounded endpoint/message object management and grant transfer.
 
export module zxfoundation.sys.ipc.core;
import zxfoundation.base.types;
import zxfoundation.memory.objects;
import zxfoundation.dgp.domain.types;
import zxfoundation.dgp.cap.types;
import zxfoundation.dgp.domain.types;
import zxfoundation.dgp.portal.types;
import lib.error;
import std;
 
export {
 
namespace zxfoundation::sys::ipc {
 
    auto ipc_init() noexcept -> void;
 
    [[nodiscard]] auto endpoint_create(
        dgp::domain::domain& owner, u32 peer_domain
    ) noexcept -> std::expected<u32, lib::kernel_error>;
 
    [[nodiscard]] auto endpoint_destroy(
        dgp::domain::domain& caller, u32 endpoint_id
    ) noexcept -> std::expected<void, lib::kernel_error>;
 
    [[nodiscard]] auto endpoint_owned_by(
        u32 endpoint_id, u32 domain_id
    ) noexcept -> bool;
 
    auto destroy_for_domain(u32 domain_id) noexcept -> void;
 
    [[nodiscard]] auto message_send(
        dgp::domain::domain& caller, u32 endpoint_id,
        const u8* payload, u32 length,
        const dgp::cap::cap_token* capabilities, u32 capability_count,
        const memory::objects::memory_object_ref* grants, u32 grant_count
    ) noexcept -> std::expected<void, lib::kernel_error>;
 
    [[nodiscard]] auto message_receive(
        dgp::domain::domain& caller, u32 endpoint_id,
        u8* payload, u32 payload_capacity, u32& out_length,
        dgp::cap::cap_token* capabilities, u32& capability_count,
        memory::objects::memory_object_ref* grants, u32& grant_count
    ) noexcept -> std::expected<void, lib::kernel_error>;
 
    [[nodiscard]] auto shm_export(
        dgp::domain::domain& caller, u64 va, u64 length,
        u32 target_domain
    ) noexcept -> std::expected<dgp::cap::cap_token, lib::kernel_error>;
 
    [[nodiscard]] auto shm_import(
        dgp::domain::domain& caller, dgp::cap::cap_token grant_token,
        u64 va, u64 length
    ) noexcept -> std::expected<dgp::portal::portal_binding, lib::kernel_error>;
 
} // namespace zxfoundation::sys::ipc
 
} // end export