⚠️ VeridianOS Kernel Documentation - This is low-level kernel code. All functions are unsafe unless explicitly marked otherwise. no_std

revoke_transferred_capability

veridian_kernel::ipc::cap_transfer

Function revoke_transferred_capability 

Source 
pub fn revoke_transferred_capability(
    cap_token: CapabilityToken,
    owner_cap_space: &CapabilitySpace,
) -> Result<()>
Expand description

Revoke a capability that was transferred via IPC

This allows the original owner to revoke a capability they previously granted through IPC.