1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/efi/util.c b/src/boot/efi/util.c
index ba5ed7d22f..4dd7c1efde 100644
--- a/src/boot/efi/util.c
+++ b/src/boot/efi/util.c
@@ -33,7 +33,7 @@ UINT64 ticks_read(VOID) {
         __asm__ volatile ("rdtsc" : "=a" (a), "=d" (d));
         return (d << 32) | a;
 }
-#else
+#elif defined(__i386__)
 UINT64 ticks_read(VOID) {
         UINT64 val;
         __asm__ volatile ("rdtsc" : "=A" (val));