@@ -40,12 +40,6 @@
#include "i8254.h"
#include "x86.h"
-#ifndef CONFIG_X86_64
-#define mod_64(x, y) ((x) - (y) * div64_u64(x, y))
-#else
-#define mod_64(x, y) ((x) % (y))
-#endif
-
#define RW_STATE_LSB 1
#define RW_STATE_MSB 2
#define RW_STATE_WORD0 3
@@ -42,12 +42,6 @@
#include "cpuid.h"
#include "hyperv.h"
-#ifndef CONFIG_X86_64
-#define mod_64(x, y) ((x) - (y) * div64_u64(x, y))
-#else
-#define mod_64(x, y) ((x) % (y))
-#endif
-
#define PRId64 "d"
#define PRIx64 "llx"
#define PRIu64 "u"
@@ -8,6 +8,12 @@
#include "kvm_cache_regs.h"
#include "kvm_emulate.h"
+#ifndef CONFIG_X86_64
+#define mod_64(x, y) ((x) - (y) * div64_u64(x, y))
+#else
+#define mod_64(x, y) ((x) % (y))
+#endif
+
static __always_inline void kvm_guest_enter_irqoff(void)
{
/*