Searched refs:k_dcmd_cpuregs (Results 1 – 4 of 4) sorted by relevance
98 mdb_dcmd_f *k_dcmd_cpuregs; /* Dcmd to print CPU registers */ member
465 return (kt->k_dcmd_cpuregs(addr, flags, argc, argv)); in kt_cpuregs()
217 kt->k_dcmd_cpuregs = kt_cpuregs; in kt_amd64_init()
212 kt->k_dcmd_cpuregs = kt_cpuregs; in kt_ia32_init()