xcall_dcmd
{ "xcall", ":", "print CPU cross-call state", xcall_dcmd, xcall_help },
extern int xcall_dcmd(uintptr_t, uint_t, int, const mdb_arg_t *);