* Insert guest TLB to machine TLB.
* data: In TLB format
*/
-void machine_tlb_insert(struct vcpu *d, thash_data_t *tlb)
+void machine_tlb_insert(struct vcpu *v, thash_data_t *tlb)
{
u64 psr;
thash_data_t mtlb;
mtlb.ifa = tlb->vadr;
mtlb.itir = tlb->itir & ~ITIR_RV_MASK;
mtlb.page_flags = tlb->page_flags & ~PAGE_FLAGS_RV_MASK;
- mtlb.ppn = get_mfn(d->domain,tlb->ppn);
+ mtlb.ppn = get_mfn(v->domain, tlb->ppn);
mtlb_ppn=mtlb.ppn;
#if 0
if (mtlb_ppn == INVALID_MFN)
- panic_domain(vcpu_regs(d),"Machine tlb insert with invalid mfn number.\n");
+ panic_domain(vcpu_regs(v), "Machine tlb insert with invalid mfn number.\n");
#endif
psr = ia64_clear_ic();
extern u64 machine_ttag(PTA pta, u64 va);
extern u64 machine_thash(PTA pta, u64 va);
extern void purge_machine_tc_by_domid(domid_t domid);
-extern void machine_tlb_insert(struct vcpu *d, thash_data_t *tlb);
+extern void machine_tlb_insert(struct vcpu *v, thash_data_t *tlb);
extern ia64_rr vmmu_get_rr(struct vcpu *vcpu, u64 va);
-extern int init_domain_tlb(struct vcpu *d);
+extern int init_domain_tlb(struct vcpu *v);
extern void free_domain_tlb(struct vcpu *v);
extern thash_data_t * vsa_thash(PTA vpta, u64 va, u64 vrr, u64 *tag);
extern thash_data_t * vhpt_lookup(u64 va);