|
|
auto | zxfoundation::dgp::gate::nc_dom::detail::copy_from_user (void *dst, u64 src, u64 len, domain::domain *d) noexcept -> i32 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::current_domain () noexcept -> domain::domain * |
|
auto | zxfoundation::dgp::gate::nc_dom::dispatch (u32 op, u64 a0, u64 a1, u64 a2, u64 a3, u64 a4) noexcept -> u64 |
| | Dispatch a domain operation.
|
|
template<dom_op Op> |
| auto | zxfoundation::dgp::gate::nc_dom::dispatch_wrap (u64 a0, u64 a1, u64 a2, u64 a3, u64 a4) noexcept -> u64 |
| | Static dispatch wrapper for a specific dom_op.
|
| auto | zxfoundation::dgp::gate::nc_dom::detail::nc_dom_strand_query_state (u64 a0, u64 a1, u64, u64, u64) noexcept -> u64 |
| | dom_op::strand_query_state — (admin cap, strand_id)
|
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_dom_strand_set_affinity (u64 a0, u64 a1, u64 a2, u64, u64) noexcept -> u64 |
| | dom_op::strand_set_affinity — (admin cap, strand_id, sched_mask_bits)
|
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_dom_strand_set_policy (u64 a0, u64 a1, u64 a2, u64, u64) noexcept -> u64 |
| | dom_op::strand_set_policy — (admin cap, strand_id, &policy_u64...)
|
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_domain_create (u64 a0, u64 a1, u64, u64, u64) noexcept -> u64 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_domain_destroy (u64 a0, u64 a1, u64, u64, u64) noexcept -> u64 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_domain_exit (u64, u64, u64, u64, u64) noexcept -> u64 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_domain_info (u64, u64, u64, u64, u64) noexcept -> u64 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_domain_query (u64 a0, u64, u64, u64, u64) noexcept -> u64 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::nc_domain_strand_create (u64 a0, u64 a1, u64 a2, u64, u64) noexcept -> u64 |
|
auto | zxfoundation::dgp::gate::nc_dom::detail::validate_admin (cap_token token, u32 owner_id) noexcept -> bool |
| | Validate that a capability token confers admin authority.
|
Domain namespace dispatch handler — Pure DGP (cap-gated).
SPDX-License-Identifier: Apache-2.0