emuxki_write_gpr
emuxki_write_gpr(&card->config, gpr->gpr + i, 0);
emuxki_write_gpr(&card->config, gpr->gpr + i, db_table[index]);
emuxki_write_gpr(&card->config, pc, 0);
void emuxki_write_gpr(device_config *config, uint32 pc, uint32 data);