diff --git a/arch/x86/include/asm/processor.h b/arch/x86/include/asm/processor.h
index ad9e9f36..08f925c3 100644
--- a/arch/x86/include/asm/processor.h
+++ b/arch/x86/include/asm/processor.h
@@ -268,7 +268,7 @@ static inline void tlb_flush(void)
 static inline uint32_t read_eflags(void)
 {
 	uint32_t result;
-	asm volatile ("pushf; pop $0" : "=r"(result));
+	asm volatile ("pushf; pop %0" : "=r"(result));
 	return result;
 }