Introduce vmi_write_addr