Symbol: vtmmio_write_dev_config