@@ -26,7 +26,7 @@ static void mmu_write_callback(uc_engine *uc, uc_mem_type type,
2626 uint64_t address , int size , int64_t value ,
2727 void * user_data )
2828{
29- printf ("write at 0x%lx : 0x%lx \n" , address , value );
29+ printf ("write at 0x%" PRIx64 " : 0x%" PRIx64 " \n" , address , value );
3030}
3131
3232static void x86_mmu_prepare_tlb (uc_engine * uc , uint64_t vaddr ,
@@ -280,16 +280,16 @@ void cpu_tlb(void)
280280 printf ("failed to read from child memory\n" );
281281 exit (1 );
282282 }
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 );
285285 uc_close (uc );
286286}
287287
288288static bool virtual_tlb_callback (uc_engine * uc , uint64_t addr , uc_mem_type type ,
289289 uc_tlb_entry * result , void * user_data )
290290{
291291 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 );
293293 switch (addr & ~(0xfff )) {
294294 case 0x2000 :
295295 result -> paddr = 0x0 ;
@@ -431,8 +431,8 @@ void virtual_tlb(void)
431431 printf ("failed to read from child memory\n" );
432432 exit (1 );
433433 }
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 );
436436 uc_close (uc );
437437}
438438
0 commit comments