amdzen_c_df_read64_bcast
extern int amdzen_c_df_read64_bcast(uint_t, const df_reg_def_t, uint64_t *);
amdzen_c_df_read64_bcast(dfno, def, &zui.zui_data) :
