_hdb_mkey_version
*ext.data.u.password.mkvno = _hdb_mkey_version(key);
_hdb_mkey_version (hdb_master_key /*mkey*/);