From 0366ac8496eed4ea60d8bf334550427564283230 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Wed, 22 Jul 2015 20:20:49 +0200 Subject: [PATCH] use pushfq insteaf of push to determine RFLAGS --- hermit/arch/x86/include/asm/processor.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/hermit/arch/x86/include/asm/processor.h b/hermit/arch/x86/include/asm/processor.h index b17a88dec..651952680 100644 --- a/hermit/arch/x86/include/asm/processor.h +++ b/hermit/arch/x86/include/asm/processor.h @@ -519,10 +519,10 @@ inline static void cpuid(uint32_t code, uint32_t* a, uint32_t* b, uint32_t* c, u * * @return The EFLAGS value */ -static inline uint32_t read_eflags(void) +static inline uint64_t read_rflags(void) { - uint32_t result; - asm volatile ("pushf; pop %0" : "=r"(result)); + uint64_t result; + asm volatile ("pushfq; pop %0" : "=r"(result)); return result; }