SPT_PMC_MFPMC_OFFSET
val_low = pmc_core_reg_read(pmc, SPT_PMC_MFPMC_OFFSET);
val_high = pmc_core_reg_read(pmc, SPT_PMC_MFPMC_OFFSET);
val = pmc_core_reg_read(pmc, SPT_PMC_MFPMC_OFFSET);