1%
2% Copyright 2014, General Dynamics C4 Systems
3%
4% SPDX-License-Identifier: GPL-2.0-only
5%
6
7\apidoc
8{debug_halt}
9{Debug - Halt}
10{Halt the system}
11{static inline void seL4\_DebugHalt}
12{
13\param{void}{}{}
14}
15{\noret}
16{Halts the system, if debugging is turned on.}
17