HPRE_DFX_FILE_NUM
struct hpre_dfx dfx[HPRE_DFX_FILE_NUM];
for (i = 0; i < HPRE_DFX_FILE_NUM; i++) {
static const char *hpre_dfx_files[HPRE_DFX_FILE_NUM] = {