X86_EFLAGS_ID
if (has_eflag(X86_EFLAGS_ID)) {
X86_EFLAGS_AC|X86_EFLAGS_ID);
return flag_is_changeable_p(X86_EFLAGS_ID);
vm86->veflags_mask = X86_EFLAGS_ID | X86_EFLAGS_AC | X86_EFLAGS_NT | X86_EFLAGS_IOPL;
X86_EFLAGS_AC | X86_EFLAGS_ID;
X86_EFLAGS_AC | X86_EFLAGS_ID |