emuxki_read_gpr
value = emuxki_read_gpr(&card->config, pc);
uint32 emuxki_read_gpr(device_config *config, uint32 pc);
