ZXFoundation™ 26h2
Loading...
Searching...
No Matches
zxfoundation.dgp.cap.core Module Reference

Typedefs

using zxfoundation::dgp::cap::lookup_fn = auto (*)(u16 obj_id) noexcept -> scoms::kobject::bobject*
 Callback signature for looking up a kobject by object ID.

Functions

auto zxfoundation::dgp::cap::cap_acquire (cap_token source, cap_rights rights, u32 owner_domain) noexcept -> std::expected< cap_token, lib::kernel_error >
 Acquire a private capability derived from an owned capability.
auto zxfoundation::dgp::cap::cap_duplicate (cap_token source, cap_rights rights, u32 owner_domain) noexcept -> std::expected< cap_token, lib::kernel_error >
 Duplicate a capability for a new owner from kernel policy code.
auto zxfoundation::dgp::cap::cap_duplicate_for (cap_token source, cap_rights rights, u32 source_domain, u32 owner_domain) noexcept -> std::expected< cap_token, lib::kernel_error >
 Duplicate a capability after checking its current owner.
auto zxfoundation::dgp::cap::cap_issue (cap_type type, u16 obj_id, cap_rights rights, u32 owner_domain) noexcept -> std::expected< cap_token, lib::kernel_error >
 Issue a capability from nucleus-owned object authority.
auto zxfoundation::dgp::cap::cap_release (cap_token token) noexcept -> std::expected< void, lib::kernel_error >
 Release a previously acquired capability.
auto zxfoundation::dgp::cap::cap_resolve (cap_token token, cap_rights needed) noexcept -> std::expected< scoms::kobject::bobject *, lib::kernel_error >
 Resolve a validated capability to its SCOMS object.
auto zxfoundation::dgp::cap::cap_revoke (cap_token token) noexcept -> std::expected< void, lib::kernel_error >
 Revoke a capability token administratively.
auto zxfoundation::dgp::cap::cap_revoke_for_domain (u32 domain_id) noexcept -> std::expected< u32, lib::kernel_error >
 Revoke every capability owned by or targeting a domain.
auto zxfoundation::dgp::cap::cap_revoke_target (scoms::kobject::bobject &target) noexcept -> std::expected< u32, lib::kernel_error >
 Revoke all slots referring to a SCOMS object.
template<typename T>
auto zxfoundation::dgp::cap::cap_validate (cap_token token, cap_rights needed) noexcept -> std::expected< T *, lib::kernel_error >
 Validate a capability token and return the underlying object.
template<>
auto zxfoundation::dgp::cap::cap_validate< zxfoundation::dgp::domain::domain > (cap_token token, cap_rights needed) noexcept -> std::expected< zxfoundation::dgp::domain::domain *, lib::kernel_error >
template<>
auto zxfoundation::dgp::cap::cap_validate< zxfoundation::dgp::gate::gate_desc > (cap_token token, cap_rights needed) noexcept -> std::expected< zxfoundation::dgp::gate::gate_desc *, lib::kernel_error >
template<>
auto zxfoundation::dgp::cap::cap_validate< zxfoundation::dgp::portal::portal_desc > (cap_token token, cap_rights needed) noexcept -> std::expected< zxfoundation::dgp::portal::portal_desc *, lib::kernel_error >
template<>
auto zxfoundation::dgp::cap::cap_validate< zxfoundation::memory::objects::memory_object > (cap_token token, cap_rights needed) noexcept -> std::expected< zxfoundation::memory::objects::memory_object *, lib::kernel_error >
auto zxfoundation::dgp::cap::cap_validate_generic (cap_token token, cap_rights needed) noexcept -> std::expected< void, lib::kernel_error >
 Validate a capability token without a concrete type parameter.
auto zxfoundation::dgp::cap::cap_validate_generic_for (cap_token token, cap_rights needed, u32 owner_domain) noexcept -> std::expected< void, lib::kernel_error >
 Validate a capability against its owning domain.
auto zxfoundation::dgp::cap::register_lookup (cap_type type, lookup_fn fn) noexcept -> std::expected< void, lib::kernel_error >
 Register a lookup callback for a resource type.

Files

file  zxfoundation/dgp/cap.zcomponent/core.cxxm
 Capability management — acquire, release, derive, and validate capability tokens for the DGP kernel's authorization model.
file  zxfoundation/dgp/cap.zcomponent/core.cxx
 Capability management — acquire, release, derive, and validate capability tokens for the DGP kernel's authorization model.