Searched refs:kt_ia32_init (Results 1 – 3 of 3) sorted by relevance
163 extern void kt_ia32_init(mdb_tgt_t *);
1524 kt_ia32_init(t); in mdb_kvm_tgt_create()
189 kt_ia32_init(mdb_tgt_t *t) in kt_ia32_init() function