*/
        val = guest_spin_on_val(0);
        __GUEST_ASSERT(val == 1 || val == MMIO_VAL,
-                      "Expected '1' or MMIO ('%llx'), got '%llx'", MMIO_VAL, val);
+                      "Expected '1' or MMIO ('%lx'), got '%lx'", MMIO_VAL, val);
 
        /* Spin until the misaligning memory region move completes. */
        val = guest_spin_on_val(MMIO_VAL);
        __GUEST_ASSERT(val == 1 || val == 0,
-                      "Expected '0' or '1' (no MMIO), got '%llx'", val);
+                      "Expected '0' or '1' (no MMIO), got '%lx'", val);
 
        /* Spin until the memory region starts to get re-aligned. */
        val = guest_spin_on_val(0);
        __GUEST_ASSERT(val == 1 || val == MMIO_VAL,
-                      "Expected '1' or MMIO ('%llx'), got '%llx'", MMIO_VAL, val);
+                      "Expected '1' or MMIO ('%lx'), got '%lx'", MMIO_VAL, val);
 
        /* Spin until the re-aligning memory region move completes. */
        val = guest_spin_on_val(MMIO_VAL);
 
 
        if (msr->write)
                __GUEST_ASSERT(!vector,
-                              "WRMSR(0x%x) to '0x%llx', RDMSR read '0x%llx'",
+                              "WRMSR(0x%x) to '0x%lx', RDMSR read '0x%lx'",
                               msr->idx, msr->write_val, msr_val);
 
        /* Invariant TSC bit appears when TSC invariant control MSR is written to */
 
                                                                                                \
        for (i = 0; i < size; i++)                                                              \
                __GUEST_ASSERT(mem[i] == pattern,                                               \
-                              "Guest expected 0x%x at offset %lu (gpa 0x%llx), got 0x%x",      \
+                              "Guest expected 0x%x at offset %lu (gpa 0x%lx), got 0x%x",       \
                               pattern, i, gpa + i, mem[i]);                                    \
 } while (0)
 
 
 
        run_guest(vmcb, svm->vmcb_gpa);
        __GUEST_ASSERT(vmcb->control.exit_code == SVM_EXIT_VMMCALL,
-                      "Expected VMMCAL #VMEXIT, got '0x%x', info1 = '0x%llx, info2 = '0x%llx'",
+                      "Expected VMMCAL #VMEXIT, got '0x%x', info1 = '0x%lx, info2 = '0x%lx'",
                       vmcb->control.exit_code,
                       vmcb->control.exit_info_1, vmcb->control.exit_info_2);
 
 
        run_guest(vmcb, svm->vmcb_gpa);
        __GUEST_ASSERT(vmcb->control.exit_code == SVM_EXIT_HLT,
-                      "Expected HLT #VMEXIT, got '0x%x', info1 = '0x%llx, info2 = '0x%llx'",
+                      "Expected HLT #VMEXIT, got '0x%x', info1 = '0x%lx, info2 = '0x%lx'",
                       vmcb->control.exit_code,
                       vmcb->control.exit_info_1, vmcb->control.exit_info_2);
 
 
        uint8_t vector = wrmsr_safe(MSR_IA32_PERF_CAPABILITIES, val);
 
        __GUEST_ASSERT(vector == GP_VECTOR,
-                      "Expected #GP for value '0x%llx', got vector '0x%x'",
+                      "Expected #GP for value '0x%lx', got vector '0x%x'",
                       val, vector);
 }
 
 
                                                                                        \
        __GUEST_ASSERT((__supported & (xfeatures)) != (xfeatures) ||                    \
                       __supported == ((xfeatures) | (dependencies)),                   \
-                      "supported = 0x%llx, xfeatures = 0x%llx, dependencies = 0x%llx", \
+                      "supported = 0x%lx, xfeatures = 0x%llx, dependencies = 0x%llx",  \
                       __supported, (xfeatures), (dependencies));                       \
 } while (0)
 
        uint64_t __supported = (supported_xcr0) & (xfeatures);          \
                                                                        \
        __GUEST_ASSERT(!__supported || __supported == (xfeatures),      \
-                      "supported = 0x%llx, xfeatures = 0x%llx",        \
+                      "supported = 0x%lx, xfeatures = 0x%llx",         \
                       __supported, (xfeatures));                       \
 } while (0)
 
 
        vector = xsetbv_safe(0, supported_xcr0);
        __GUEST_ASSERT(!vector,
-                      "Expected success on XSETBV(0x%llx), got vector '0x%x'",
+                      "Expected success on XSETBV(0x%lx), got vector '0x%x'",
                       supported_xcr0, vector);
 
        for (i = 0; i < 64; i++) {
 
                vector = xsetbv_safe(0, supported_xcr0 | BIT_ULL(i));
                __GUEST_ASSERT(vector == GP_VECTOR,
-                              "Expected #GP on XSETBV(0x%llx), supported XCR0 = %llx, got vector '0x%x'",
+                              "Expected #GP on XSETBV(0x%llx), supported XCR0 = %lx, got vector '0x%x'",
                               BIT_ULL(i), supported_xcr0, vector);
        }