rem: write_io_32(config->nabmbar + regno, value);
add: pci->write_io_32(config->nabmbar + regno, value);
context: auvia_reg_write_32(device_config *config, int regno, uint32 value){	write_io_32(config->nabmbar + regno, value);}