gcpu_post_mpstartup
extern void gcpu_post_mpstartup(cmi_hdl_t);
gcpu_post_mpstartup, /* cmi_post_mpstartup */