zxfoundation.dgp.isolation.core Module Reference

Functions
auto	zxfoundation::dgp::isolation::activate_domain (lifecycle_state &state, arch::s390x::mmu::typed_asce< arch::s390x::mmu::dat_level::region_1 > asce, u64 root_phys, u8 storage_key) noexcept -> std::expected< void, lib::kernel_error >
	Activate a sealed DGP isolation domain.
auto	zxfoundation::dgp::isolation::begin_portal_teardown (lifecycle_state &state, std::atomic< u16 > &revocation_epoch) noexcept -> std::expected< void, lib::kernel_error >
	Record that a portal authority is leaving the active DGP set.
auto	zxfoundation::dgp::isolation::begin_portal_teardown (lifecycle_state &state, u16 &revocation_epoch) noexcept -> std::expected< void, lib::kernel_error >
auto	zxfoundation::dgp::isolation::begin_storage_key_revocation (lifecycle_state &state, skey_revocation_state &storage_key_state, std::atomic< u16 > &revocation_epoch) noexcept -> std::expected< void, lib::kernel_error >
	Begin revocation of the storage-key authority attached to a DGP domain.
auto	zxfoundation::dgp::isolation::begin_storage_key_revocation (lifecycle_state &state, skey_revocation_state &storage_key_state, u16 &revocation_epoch) noexcept -> std::expected< void, lib::kernel_error >
auto	zxfoundation::dgp::isolation::bind_asce_root (isolation_domain_state &state, lifecycle_state current_ls, arch::s390x::mmu::typed_asce< arch::s390x::mmu::dat_level::region_1 > asce, u64 root_phys) noexcept -> std::expected< void, lib::kernel_error >
	Attach committed DAT root state to a DGP isolation domain.
auto	zxfoundation::dgp::isolation::complete_storage_key_revocation (lifecycle_state &state, u8 &storage_key, u32 &storage_key_generation, skey_revocation_state &storage_key_state) noexcept -> std::expected< void, lib::kernel_error >
	Complete storage-key revocation after required translation invalidation is done.
auto	zxfoundation::dgp::isolation::create_domain (u32 domain_id, const isolation_policy &policy) noexcept -> std::expected< isolation_domain_state, lib::kernel_error >
	Create initial DGP isolation state for a domain.
auto	zxfoundation::dgp::isolation::destroy_domain (lifecycle_state &state, u8 &storage_key, u32 &storage_key_generation, skey_revocation_state &storage_key_state, std::atomic< u16 > &revocation_epoch) noexcept -> std::expected< void, lib::kernel_error >
	Destroy DGP isolation state for a domain.
auto	zxfoundation::dgp::isolation::destroy_domain (lifecycle_state &state, u8 &storage_key, u32 &storage_key_generation, skey_revocation_state &storage_key_state, u16 &revocation_epoch) noexcept -> std::expected< void, lib::kernel_error >
auto	zxfoundation::dgp::isolation::init () noexcept -> void
	Initialize the DGP isolation clean core.
auto	zxfoundation::dgp::isolation::revoke_domain_rights (zxfoundation::dgp::domain::domain &d, dgp::isolation::isolation_rights drop_mask) noexcept -> std::expected< void, lib::kernel_error >
	Lazy revocation of DGP rights on a domain.
auto	zxfoundation::dgp::isolation::validate_gate_entry (u32 caller_domain_id, u32 gate_id, dgp::isolation::isolation_rights requested) noexcept -> std::expected< void, lib::kernel_error >
	Validate entry into a DGP gate chokepoint (structural validation only).
auto	zxfoundation::dgp::isolation::validate_portal (u32 source_domain_id, u32 target_domain_id, u64 va_start, u64 va_end, dgp::isolation::isolation_rights requested) noexcept -> std::expected< void, lib::kernel_error >
	Validate creation or use of a DGP portal.
auto	zxfoundation::dgp::isolation::validate_scheduler_admission (const lifecycle_state state, u64 root_phys, u64 asce_raw) noexcept -> std::expected< void, lib::kernel_error >
	Validate that a DGP domain may be admitted to a CPU run queue.
auto	zxfoundation::dgp::isolation::validate_scheduler_policy (const lifecycle_state state, const zxfoundation::sched::sched_policy &policy, bool has_rt_authority) noexcept -> std::expected< zxfoundation::sched::sched_admission_result, lib::kernel_error >
	Validate a scheduler policy against DGP authority and basic safety invariants.

Files
file	zxfoundation/dgp/isolation.zcomponent/core.cxxm
	DGP isolation lifecycle and authorization interface.
file	zxfoundation/dgp/isolation.zcomponent/core.cxx
	DGP isolation lifecycle and authorization implementation.