Symbol: DDI_MF_EXT_REGSPEC