sel4_panicking/strategy/abort/
mod.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7use sel4_panicking_env::abort_without_info;
8
9#[cfg(panic = "unwind")]
10use sel4_panicking_env::abort;
11
12pub(crate) fn panic_cleanup(_exception: *mut u8) {
13    unreachable!()
14}
15
16pub(crate) fn start_panic() -> i32 {
17    abort_without_info()
18}
19
20#[cfg(panic = "unwind")]
21#[lang = "eh_personality"]
22fn eh_personality() -> ! {
23    abort!("unexpected call to eh_personality")
24}