vncr_fixmap
u64 va = __fix_to_virt(vncr_fixmap(smp_processor_id()));
__set_fixmap(vncr_fixmap(vt->cpu), vt->hpa, prot);
clear_fixmap(vncr_fixmap(vcpu->arch.vncr_tlb->cpu));
clear_fixmap(vncr_fixmap(vt->cpu));