recent x86-64 nested NMI adjustments

[Jan Beulich]

Hi Steven,

the explanation of 45d5a1683c04be28abdf5c04c27b1417e0374486
seems bogus to me: When arriving from user mode, %rsp won't point
to the user stack anymore, as it gets switched away from during the
processing of the exception (the more that the IDT entry specifies a
separate stack anyway, which even guarantees this for kernel mode
entries).

Further, a38449ef596b345e13a8f9b7d5cd9fedb8fcf921 makes the
(presumably superfluous) compare a 4-byte one, while the
documentation isn't really stating that selectors get pushed zero-
extended. Hence, if not reverting the first change altogether, I'd
minimally recommend converting the compare to a 2-byte one.

Jan

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/