gcpu_faulted_enter
extern void gcpu_faulted_enter(cmi_hdl_t);
gcpu_faulted_enter, /* cmi_faulted_enter */