kmt_wrmsr
{ "wrmsr", ": val", "write an MSR", kmt_wrmsr },
extern int kmt_wrmsr(uintptr_t, uint_t, int, const mdb_arg_t *);