IA32_CR4_SMAP
x86_write_cr4(x86_read_cr4() | IA32_CR4_SMAP);
&& (x86_read_cr4() & IA32_CR4_SMAP) != 0) {