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