Symbol: IA32CAP_MASK0_HT