debug_halt
sel4
0.1.0
sel4
Function
debug_
halt
Copy item path
Source
pub fn debug_halt()
Expand description
Corresponds to
seL4_DebugHalt
.