vncr_tlb
struct vncr_tlb;
struct vncr_tlb *vncr_tlb;
struct vncr_tlb *vt;
struct vncr_tlb *vt;
if (!vcpu->arch.vncr_tlb) {
struct vncr_tlb *vt = kzalloc_obj(*vcpu->arch.vncr_tlb,
vcpu->arch.vncr_tlb = vt;
if (!vcpu->arch.vncr_tlb)
struct vncr_tlb *vt;
vt = vcpu->arch.vncr_tlb;
struct vncr_tlb *vt = vcpu->arch.vncr_tlb;
struct vncr_tlb *vt = vcpu->arch.vncr_tlb;
struct vncr_tlb *vt = vcpu->arch.vncr_tlb;
BUG_ON(vcpu->arch.vncr_tlb->cpu != smp_processor_id());
clear_fixmap(vncr_fixmap(vcpu->arch.vncr_tlb->cpu));
vcpu->arch.vncr_tlb->cpu = -1;
static void invalidate_vncr(struct vncr_tlb *vt)
if (((tlbp) = vcpup->arch.vncr_tlb) && \
kfree(vcpu->arch.vncr_tlb);