Macro register_abort_trap 

macro_rules! register_abort_trap {
    ($(#[$attrs:meta])* $path:path) => { ... };
}

Registers an abort trap to be used by abort! and abort_without_info.

This macro uses the function $path to define the following symbol:

unsafe extern "Rust" {
    fn __sel4_panicking_env__abort_trap() -> !;
}