gcpu_cmci_trap
extern void gcpu_cmci_trap(cmi_hdl_t);
GCPU_OP(gcpu_cmci_trap, NULL), /* cmi_cmci_trap */