Thread (14 messages) 14 messages, 5 authors, 2024-12-13

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

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
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help