#include <asm/alternative.h>
 
-/*
- * Convert a kernel VA into a HYP VA.
- * reg: VA to be converted.
- */
-.macro kern_hyp_va     reg
-#ifndef __KVM_VHE_HYPERVISOR__
-alternative_cb ARM64_ALWAYS_SYSTEM, kvm_update_va_mask
-       and     \reg, \reg, #1          /* mask with va_mask */
-       ror     \reg, \reg, #1          /* rotate to the first tag bit */
-       add     \reg, \reg, #0          /* insert the low 12 bits of the tag */
-       add     \reg, \reg, #0, lsl 12  /* insert the top 12 bits of the tag */
-       ror     \reg, \reg, #63         /* rotate back */
-alternative_cb_end
-#endif
-.endm
-
 /*
  * Convert a hypervisor VA to a PA
  * reg: hypervisor address to be converted in place