Re: [PATCH v3 0/6] Enable strict percpu address space checks
From: Dan Carpenter <hidden>
Date: 2024-12-13 07:13:42
Also in:
linux-arch, linux-bcachefs, linux-mm, lkml
From: Dan Carpenter <hidden>
Date: 2024-12-13 07:13:42
Also in:
linux-arch, linux-bcachefs, linux-mm, lkml
On Thu, Dec 12, 2024 at 07:35:41PM -0800, Andrew Morton wrote:
On Sun, 8 Dec 2024 21:45:15 +0100 Uros Bizjak [off-list ref] wrote:quoted
Enable strict percpu address space checks via x86 named address space qualifiers. Percpu variables are declared in __seg_gs/__seg_fs named AS and kept named AS qualified until they are dereferenced via percpu accessor. This approach enables various compiler checks for cross-namespace variable assignments. Please note that current version of sparse doesn't know anything about __typeof_unqual__() operator. Avoid the usage of __typeof_unqual__() when sparse checking is active to prevent sparse errors with unknowing keyword. The proposed patch by Dan Carpenter to implement __typeof_unqual__() handling in sparse is located at:google("what the hell is typeof_unequal") failed me.
I'm glad I'm not the only person who read that as "equal" instead of "qualified". regards, dan carpenter