Function sel4::debug_snapshot

source · 
pub fn debug_snapshot()
Expand description

Corresponds to seL4_DebugSnapshot.