@@ -26,7 +26,7 @@ static void mmu_write_callback(uc_engine *uc, uc_mem_type type,
26
26
uint64_t address , int size , int64_t value ,
27
27
void * user_data )
28
28
{
29
- printf ("write at 0x%lx : 0x%lx \n" , address , value );
29
+ printf ("write at 0x%" PRIx64 " : 0x%" PRIx64 " \n" , address , value );
30
30
}
31
31
32
32
static void x86_mmu_prepare_tlb (uc_engine * uc , uint64_t vaddr ,
@@ -280,16 +280,16 @@ void cpu_tlb(void)
280
280
printf ("failed to read from child memory\n" );
281
281
exit (1 );
282
282
}
283
- printf ("parrent result == %lu \n" , parrent );
284
- printf ("child result == %lu \n" , child );
283
+ printf ("parrent result == %" PRIu64 " \n" , parrent );
284
+ printf ("child result == %" PRIu64 " \n" , child );
285
285
uc_close (uc );
286
286
}
287
287
288
288
static bool virtual_tlb_callback (uc_engine * uc , uint64_t addr , uc_mem_type type ,
289
289
uc_tlb_entry * result , void * user_data )
290
290
{
291
291
bool * parrent_done = user_data ;
292
- printf ("tlb lookup for address: 0x%lX \n" , addr );
292
+ printf ("tlb lookup for address: 0x%" PRIx64 " \n" , addr );
293
293
switch (addr & ~(0xfff )) {
294
294
case 0x2000 :
295
295
result -> paddr = 0x0 ;
@@ -431,8 +431,8 @@ void virtual_tlb(void)
431
431
printf ("failed to read from child memory\n" );
432
432
exit (1 );
433
433
}
434
- printf ("parrent result == %lu \n" , parrent );
435
- printf ("child result == %lu \n" , child );
434
+ printf ("parrent result == %" PRIu64 " \n" , parrent );
435
+ printf ("child result == %" PRIu64 " \n" , child );
436
436
uc_close (uc );
437
437
}
438
438
0 commit comments