Macro register_abort_hook 

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

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

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

extern "Rust" {
    fn __sel4_panicking_env__abort_hook(info: Option<&AbortInfo>);
}