Module raii 

RAII (Resource Acquisition Is Initialization) patterns for kernel resources

This module provides RAII wrappers for various kernel resources to ensure proper cleanup when resources go out of scope.

Structs

CapabilityGuard

RAII wrapper for capability space operations

ChannelGuard

RAII wrapper for IPC channel cleanup

FrameGuard

RAII wrapper for physical frames

FramesGuard

RAII wrapper for multiple frames

MappedRegion

RAII wrapper for mapped memory regions

ProcessResources

RAII wrapper for process resources

ScopeGuard

Generic scope guard that runs cleanup code on drop

TrackedMutexGuard

RAII lock guard that logs acquisition and release