Symbol: kreg_t
usr/src/cmd/mdb/intel/mdb/mdb_kreg.h
42
typedef uint64_t kreg_t;
usr/src/cmd/mdb/intel/mdb/mdb_kreg.h
44
typedef uint32_t kreg_t;