Lines Matching refs:dtl
81 #include <asm/dtl.h>
598 vpap = &tvcpu->arch.dtl;
615 if (vpa_is_registered(&tvcpu->arch.dtl) ||
624 vpap = &tvcpu->arch.dtl;
699 vcpu->arch.dtl.update_pending))
708 if (vcpu->arch.dtl.update_pending) {
709 kvmppc_update_vpa(vcpu, &vcpu->arch.dtl);
710 vcpu->arch.dtl_ptr = vcpu->arch.dtl.pinned_addr;
762 if (dt == vcpu->arch.dtl.pinned_end)
763 dt = vcpu->arch.dtl.pinned_addr;
769 /* vcpu->arch.dtl.dirty is set by the caller */
2336 val->vpaval.addr = vcpu->arch.dtl.next_gpa;
2337 val->vpaval.length = vcpu->arch.dtl.len;
2573 vcpu->arch.dtl.next_gpa))
2593 r = set_vpa(vcpu, &vcpu->arch.dtl, addr, len);
3078 unpin_vpa(vcpu->kvm, &vcpu->arch.dtl);
3524 vcpu->arch.dtl.update_pending)
5029 kvmppc_harvest_vpa_dirty(&vcpu->arch.dtl, memslot, buf);
6134 unpin_vpa_reset(kvm, &vcpu->arch.dtl);