SMAP
ireg.edx = SMAP;
if (oreg.eax != SMAP) {
F(SMAP),
cr4_fixed1_update(X86_CR4_SMAP, ebx, feature_bit(SMAP));