df_rev
df_rev_t df_rev = azn->azn_dfs[0].adf_rev;
VERIFY(df_reg_valid(df_rev, def));
switch (df_rev) {
panic("encountered unexpected DF rev: %u", df_rev);