>>> then here you might use >>> >>> for (level = vcpu->arch.mmu.shadow_root_level; >>> level >= leaf; level--) >> >> I also had that in mind, but shadow_walk_init() tells me that >> using vcpu->arch.mmu.shadow_root_level might not be correct? >> >> Alternative 1: get rid of this debug output completely >> Alternative 2: add dump_shadow_entries(struct kvm_vcpu *vcpu, u64 addr) >> (we might dump entries that are now different on the second walk, but I >> highly doubt that this is relevant) > > Hmm, I might just ask you to drop this patch, after all. Sure, I just found for_each_shadow_entry_lockless() to be better fitting here. I'll drop it. > > Paolo > -- Thanks, David