Index: sys/arm64/arm64/efirt_machdep.c
===================================================================
--- sys/arm64/arm64/efirt_machdep.c
+++ sys/arm64/arm64/efirt_machdep.c
@@ -261,6 +261,7 @@
 
 	td = curthread;
 	__asm __volatile(
+	    "mrs x18, tpidr_el1	\n"
 	    "msr ttbr0_el1, %0	\n"
 	    "dsb  ishst		\n"
 	    "tlbi vmalle1is	\n"