lkml.org 
[lkml]   [2008]   [Apr]   [10]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
Patch in this message
/
Date
From
Subject[RFC 1/3] add macros for new sparse features
This patch adds kernel macros for a few new sparse features, namely
* checking try_lock functions and
* making a function or macro require a certain lock.

Still waiting to see what the sparse folks say to my patches.

Not-yet-signed-off-by: Johannes Berg <johannes@sipsolutions.net>
---
include/linux/compiler.h | 6 ++++++
1 file changed, 6 insertions(+)

--- everything.orig/include/linux/compiler.h 2008-04-10 15:36:18.000000000 +0200
+++ everything/include/linux/compiler.h 2008-04-10 15:36:40.000000000 +0200
@@ -11,9 +11,12 @@
# define __nocast __attribute__((nocast))
# define __iomem __attribute__((noderef, address_space(2)))
# define __acquires(x) __attribute__((context(x,0,1)))
+# define __try_acquires(x,t,f) __attribute__((conditional_context(x,0,t,f)))
# define __releases(x) __attribute__((context(x,1,0)))
# define __acquire(x) __context__(x,1)
# define __release(x) __context__(x,-1)
+# define __requires(x) __attribute__((context(x,1,1)))
+# define __macro_requires(x) __context__(x,0,1)
# define __cond_lock(x,c) ((c) ? ({ __acquire(x); 1; }) : 0)
extern void __chk_user_ptr(const volatile void __user *);
extern void __chk_io_ptr(const volatile void __iomem *);
@@ -28,9 +31,12 @@ extern void __chk_io_ptr(const volatile
# define __chk_io_ptr(x) (void)0
# define __builtin_warning(x, y...) (1)
# define __acquires(x)
+# define __try_acquires(x,t,f)
# define __releases(x)
# define __acquire(x) (void)0
# define __release(x) (void)0
+# define __requires(x)
+# define __macro_requires(x)
# define __cond_lock(x,c) (c)
#endif

--



\
 
 \ /
  Last update: 2008-04-10 16:45    [W:1.114 / U:0.180 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site