6 void show_msrs(struct kvm_vcpu
*vcpu
);
9 void show_irq(struct kvm_vcpu
*vcpu
, int irq
);
10 void show_page(struct kvm_vcpu
*vcpu
, gva_t addr
);
11 void show_u64(struct kvm_vcpu
*vcpu
, gva_t addr
);
12 void show_code(struct kvm_vcpu
*vcpu
);
13 int vm_entry_test(struct kvm_vcpu
*vcpu
);
15 void vmcs_dump(struct kvm_vcpu
*vcpu
);
16 void regs_dump(struct kvm_vcpu
*vcpu
);
17 void sregs_dump(struct kvm_vcpu
*vcpu
);
18 void show_pending_interrupts(struct kvm_vcpu
*vcpu
);
19 void vcpu_dump(struct kvm_vcpu
*vcpu
);