mdb_isa_kvm_frame
verbose != 0 ? MSF_VERBOSE : 0, mdb_isa_kvm_frame));
0, mdb_isa_kvm_frame));
MSF_VERBOSE, mdb_isa_kvm_frame));
MSF_VERBOSE, mdb_isa_kvm_frame));
mdb_isa_kvm_frame, (void *)hdl);