Symbol: kt_ia32_init
usr/src/cmd/mdb/common/mdb/mdb_kvm.c
1587
kt_ia32_init(t);
usr/src/cmd/mdb/common/mdb/mdb_kvm.h
163
extern void kt_ia32_init(mdb_tgt_t *);