mdb_ia32_kvm_frame
mdb_ia32_kvm_frame));
extern int mdb_ia32_kvm_frame(void *, uintptr_t, uint_t, const long *,
#define mdb_isa_kvm_frame mdb_ia32_kvm_frame