gcpu_faulted_exit
extern void gcpu_faulted_exit(cmi_hdl_t);
gcpu_faulted_exit, /* cmi_faulted_exit */