Symbol: REG_CR3_MICDIFF_OFFSET