Type Alias sel4_microkit::panicking::PanicHook

pub type PanicHook = &'static (dyn Fn(&ExternalPanicInfo<'_>) + Send + Sync);