void pid_cache_set( vmi_instance_t vmi, vmi_pid_t pid, addr_t dtb) { gint *key = (gint *) safe_malloc(sizeof(gint)); *key = pid; pid_cache_entry_t entry = pid_cache_entry_create(pid, dtb); g_hash_table_insert(vmi->pid_cache, key, entry); dbprint(VMI_DEBUG_PIDCACHE, "--PID cache set %d -- 0x%.16"PRIx64"\n", pid, dtb); }
void pid_cache_set( vmi_instance_t vmi, int pid, addr_t dtb) { gint *key = (gint *) safe_malloc(sizeof(gint)); *key = pid; pid_cache_entry_t entry = pid_cache_entry_create(pid, dtb); g_hash_table_insert(vmi->pid_cache, key, entry); dbprint("--PID cache set %d -- 0x%.16llx\n", pid, dtb); }