https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120008
--- Comment #4 from H. Peter Anvin <hpa at zytor dot com> --- So I guess the real question is to what extent you actually want to support the Linux kernel -- and other kernels -- as a compilation target. I will agree with you that doing this with type attributes -- i.e. __attribute__((user)) -- is probably better than doing it with explicit builtins, however.
