cmd_ctevent
int cmd_ctevent(uintptr_t, uint_t, int, const mdb_arg_t *);
{ "ctevent", ":", "display a contract event", cmd_ctevent },