Optimizes run_once(_safe) (XCC)
[akaros.git] / kern / include / ros / noivy.h
1 #ifndef NOIVY_H
2 #define NOIVY_H
3
4 #define BOUND(lo, hi)   
5 #define COUNT(n)        
6 #define SIZE(n)         
7 #define SAFE            
8 #define SNT             
9 #define DANGEROUS       
10
11 /* Begin Experimental attributes */
12 #define META(p)            
13 #define HANDLER_ATOMIC              
14 #define LOCK_HANDLER_ATOMIC(...)   
15 #define IN_HANDLER_ATOMIC  
16 #define IN_HANDLER         
17 #define ASYNC              
18 #define NORACE             
19 #define SYNCHRONOUS        
20 #define REGION(r)          
21 #define NOREGION           
22 #define SOMEREGION         
23 #define SAMEREGION         
24 #define DELETES_REGION(r)  
25 #ifdef ROS_KERNEL
26 # define GROUP(g)           
27 #endif
28 #define NOGROUP            
29 #define SOMEGROUP          
30 #define SAMEGROUP          
31 #define UNIQUE             
32 #define NOALIAS            
33 #define PAIRED_WITH(c)     
34 #define PAIRED(c1,c2)      
35 #define ARGPAIRED(c1,c2,arg) 
36 #define FNPTRCALLER(fn)    
37 #define INITSTRUCT(s)      
38 #define NOINIT             
39 #define WRITES(...)        
40 #define RPROTECT           
41 #define WPROTECT           
42 #define RWPROTECT          
43 #define R_PERMITTED(...) 
44 #define W_PERMITTED(...) 
45 #define RW_PERMITTED(...) 
46 /* End Experimental attributes */
47
48 #define BND(lo, hi)     
49 #define CT(n)           
50 #define SZ(n)           
51
52 #define EFAT            
53 #define FAT             
54
55 #define NULLTERM        
56 #define NT              
57 #define NTS             
58 #define NTC(n)          
59
60 #define NTDROPATTR      
61 #define NTEXPANDATTR    
62
63 #define NULLABLE
64 #define OPT             
65 #define NONNULL         
66
67 #define TRUSTED         
68 #define TRUSTEDBLOCK    
69
70 #define POLY           
71
72 #define COPYTYPE        
73
74 //specifies that Deputy's typechecker (but not optimizer) should assume
75 //that this lvalue is constant. (unsound)
76 #define ASSUMECONST     
77
78 #define WHEN(e)         
79
80 #define DMEMCPY(x, y, z) 
81 #define DMEMSET(x, y, z) 
82 #define DMEMCMP(x, y, z)
83
84 #define DALLOC(x)       
85 #define DREALLOC(x, y)  
86 #define DFREE(x)        
87
88 #define DVARARG(x)      
89 #define DPRINTF(x)      
90
91 #define NTDROP(x)       (x)
92 #define NTEXPAND(x)     (x)
93 #define TC(x)           (x)
94
95 #define TVATTR(x)       
96 #define TPATTR(x)       
97
98 #define TV(x)           void *
99 #define TP(x)           
100 #define NTP(n,x)
101 #define NTPTV(n)
102
103 /* Sharc Stuff */
104
105 #define SINTHREAD
106 #define SFNPTR
107 #define SHASDEF
108 #define SPURE
109 #define STCREATE(fn,arg)
110 #define SBARRIER(n)
111 #define SBARRIERFN
112
113 #define SLOCK(x)
114 #define SUNLOCK(x)
115 #define SLOCKED(l)
116 #define SSOMELOCK
117 #define SREADONLY
118 #define SRACY
119 #define SREADS(n)
120 #define SWRITES(n)
121 #define SREADSNT
122 #define SWRITESNT
123 #define SCTX
124 #define SPRIVATE
125 #define SDYNAMIC
126 #define SINDYNAMIC
127 #define SOUTDYNAMIC
128 #define SDYNBAR(b)
129
130 #define RO
131 #define LCKD(x)
132 #define RACY
133 #define PRIVATE
134
135 #define BASE(p)
136
137 #define SGROUP(g)
138 #define SNOGROUP
139 #define SRETGROUP
140 #define SARGGROUP
141
142 #define SSAME
143
144 #define SUNIQUE
145 #define SNOALIAS
146
147 #define SMAYCAST
148 #define SINMAYCAST
149 #define SOUTMAYCAST
150 #define SCONDMCRET
151
152 #define TRUSTEDBLOCK
153
154 #define SCAST(x) (x)
155 #define SINIT(x) (x)
156 #define SINIT_DOUBLE(x) (x)
157 #define SINIT_FLOAT(x) (x)
158
159 #define hs_nofree
160
161 #define DALLOC(x)
162 #define DFREE(x)
163
164
165 #endif // NOIVY_H
166