Function ERM_double_fault 

pub(crate) unsafe extern "C" fn ERM_double_fault()