https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113312

--- Comment #6 from H. Peter Anvin <hpa at zytor dot com> ---
Of course. That's not what we want in the Linux kernel specifically, though.
It's really up to the OS.

Reply via email to