1
1
// SPDX-License-Identifier: GPL-2.0
2
+ #define USE_GUEST_ASSERT_PRINTF 1
3
+
2
4
#define _GNU_SOURCE /* for program_invocation_short_name */
3
5
#include <fcntl.h>
4
6
#include <pthread.h>
@@ -88,7 +90,7 @@ static void *vcpu_worker(void *data)
88
90
}
89
91
90
92
if (run -> exit_reason == KVM_EXIT_IO && cmd == UCALL_ABORT )
91
- REPORT_GUEST_ASSERT_1 (uc , "val = %lu" );
93
+ REPORT_GUEST_ASSERT (uc );
92
94
93
95
return NULL ;
94
96
}
@@ -156,19 +158,22 @@ static void guest_code_move_memory_region(void)
156
158
* window where the memslot is invalid is usually quite small.
157
159
*/
158
160
val = guest_spin_on_val (0 );
159
- GUEST_ASSERT_1 (val == 1 || val == MMIO_VAL , val );
161
+ __GUEST_ASSERT (val == 1 || val == MMIO_VAL ,
162
+ "Expected '1' or MMIO ('%llx'), got '%llx'" , MMIO_VAL , val );
160
163
161
164
/* Spin until the misaligning memory region move completes. */
162
165
val = guest_spin_on_val (MMIO_VAL );
163
- GUEST_ASSERT_1 (val == 1 || val == 0 , val );
166
+ __GUEST_ASSERT (val == 1 || val == 0 ,
167
+ "Expected '0' or '1' (no MMIO), got '%llx'" , val );
164
168
165
169
/* Spin until the memory region starts to get re-aligned. */
166
170
val = guest_spin_on_val (0 );
167
- GUEST_ASSERT_1 (val == 1 || val == MMIO_VAL , val );
171
+ __GUEST_ASSERT (val == 1 || val == MMIO_VAL ,
172
+ "Expected '1' or MMIO ('%llx'), got '%llx'" , MMIO_VAL , val );
168
173
169
174
/* Spin until the re-aligning memory region move completes. */
170
175
val = guest_spin_on_val (MMIO_VAL );
171
- GUEST_ASSERT_1 (val == 1 , val );
176
+ GUEST_ASSERT_EQ (val , 1 );
172
177
173
178
GUEST_DONE ();
174
179
}
@@ -224,15 +229,15 @@ static void guest_code_delete_memory_region(void)
224
229
225
230
/* Spin until the memory region is deleted. */
226
231
val = guest_spin_on_val (0 );
227
- GUEST_ASSERT_1 (val == MMIO_VAL , val );
232
+ GUEST_ASSERT_EQ (val , MMIO_VAL );
228
233
229
234
/* Spin until the memory region is recreated. */
230
235
val = guest_spin_on_val (MMIO_VAL );
231
- GUEST_ASSERT_1 (val == 0 , val );
236
+ GUEST_ASSERT_EQ (val , 0 );
232
237
233
238
/* Spin until the memory region is deleted. */
234
239
val = guest_spin_on_val (0 );
235
- GUEST_ASSERT_1 (val == MMIO_VAL , val );
240
+ GUEST_ASSERT_EQ (val , MMIO_VAL );
236
241
237
242
asm("1:\n\t"
238
243
".pushsection .rodata\n\t"
@@ -249,7 +254,7 @@ static void guest_code_delete_memory_region(void)
249
254
"final_rip_end: .quad 1b\n\t"
250
255
".popsection" );
251
256
252
- GUEST_ASSERT_1 ( 0 , 0 );
257
+ GUEST_ASSERT ( 0 );
253
258
}
254
259
255
260
static void test_delete_memory_region (void )
0 commit comments