sel4

Function debug_snapshot

Source 
pub fn debug_snapshot()
Expand description

Corresponds to seL4_DebugSnapshot.