Symbol: IA32_CR4_SMAP