cmi_faulted_exit
if (CMI_OP_PRESENT(cmi, cmi_faulted_exit))
CMI_OPS(cmi)->cmi_faulted_exit(hdl);
cmi_faulted_exit(hdl);
void (*cmi_faulted_exit)(cmi_hdl_t);
extern void cmi_faulted_exit(cmi_hdl_t);