Introduce vmi_write_addr_* functions