diff --git a/hypervisor/arch/x86/trampoline.c b/hypervisor/arch/x86/trampoline.c
index 53b00c622..47002f637 100644
--- a/hypervisor/arch/x86/trampoline.c
+++ b/hypervisor/arch/x86/trampoline.c
@@ -119,6 +119,7 @@ uint64_t prepare_trampoline(void)
 			(size_t)size);
 	update_trampoline_code_refs(dest_pa);
 
+	cpu_memory_barrier();
 	for (i = 0UL; i < size; i = i + CACHE_LINE_SIZE) {
 		clflush(hpa2hva(dest_pa + i));
 	}