xref: /illumos-gate/usr/src/tools/smatch/src/validation/fored_arg.c (revision 1b58875ad7966cf2c85ee8e92f3da04f0a3b2f7a)
1 /*
2  * check-name: Forced function argument type.
3  */
4 
5 #define __iomem	__attribute__((noderef, address_space(2)))
6 #define __force __attribute__((force))
7 
8 static void foo(__force void * addr)
9 {
10 }
11 
12 
13 static void bar(void)
14 {
15 	void __iomem  *a;
16 	foo(a);
17 }
18 
19