int procmod_update_name(uint32_t pid, char *name) { VMI_update_name( pid, name); return 0; }
int procmod_update_name(uint32_t/*target_ulong*/ pid, char *name) { VMI_update_name( pid, name); return 0; }
int procmod_update_name(uint32_t pid, char *name) { VMI_update_name( pid, name); return 0; }
int procmod_update_name(uint32_t/*target_ulong*/ pid, char *name) { VMI_update_name( pid, name); return 0; }