gcpu_mce_status_t
gcpu_mce_status_t *, boolean_t, int);
gcpu_logout_t *gcl, int ismc, gcpu_mce_status_t *mcesp)
gcpu_mce_status_t mce;
gcpu_mce_status_t *mcesp, boolean_t clrstatus, int what)
gcpu_mce_status_t mce;
gcpu_mce_status_t mce;
gcpu_mce_status_t mce;