#[no_mangle] pub extern "C" fn sys_halt( user_exit: u8, out_state: *const [u32; 8], ) -> !
out_state must be aligned and dereferenceable.
out_state