108 # define xthal_icache_line_invalidate(addr)	do { void *__a = (void*)(addr); \  argument
112 # define xthal_icache_line_invalidate(addr)	do {/*nothing*/} while(0)  argument
116 # define xthal_icache_line_lock(addr)	do { void *__a = (void*)(addr);	 	\  argument
119 # define xthal_icache_line_unlock(addr)	do { void *__a = (void*)(addr); 	\  argument
123 # define xthal_icache_line_lock(addr)		do {/*nothing*/} while(0)  argument
124 # define xthal_icache_line_unlock(addr)		do {/*nothing*/} while(0)  argument
143 # define xthal_dcache_line_invalidate(addr)	do { void *__a = (void*)(addr); \  argument
146 # define xthal_dcache_line_writeback(addr)	do { void *__a = (void*)(addr); \  argument
149 # define xthal_dcache_line_writeback_inv(addr)	do { void *__a = (void*)(addr); \  argument
154 # define xthal_dcache_line_prefetch_for_read(addr) do {				\  argument
158 # define xthal_dcache_line_invalidate(addr)		do {/*nothing*/} while(0)  argument
159 # define xthal_dcache_line_writeback(addr)		do {/*nothing*/} while(0)  argument
160 # define xthal_dcache_line_writeback_inv(addr)		do {/*nothing*/} while(0)  argument
162 # define xthal_dcache_line_prefetch_for_read(addr)	do {/*nothing*/} while(0)  argument
166 # define xthal_dcache_line_lock(addr)	do { void *__a = (void*)(addr); 	\  argument
169 # define xthal_dcache_line_unlock(addr)	do { void *__a = (void*)(addr); 	\  argument
173 # define xthal_dcache_line_lock(addr)		do {/*nothing*/} while(0)  argument
174 # define xthal_dcache_line_unlock(addr)		do {/*nothing*/} while(0)  argument
179 # define xthal_dcache_line_prefetch_for_write(addr) do {			\  argument
183 # define xthal_dcache_line_prefetch_for_write(addr)	do {/*nothing*/} while(0)  argument
193 # define _XTHAL_DCACHE_BLOCK_UPGRADE(addr, size, type)		\  argument
200 # define _XTHAL_DCACHE_BLOCK_DOWNGRADE(addr, size, type)	\  argument
211 # define _XTHAL_DCACHE_BLOCK_DOWNGRADE_MAX(addr, size, type, max)	\  argument
221 # define xthal_dcache_block_invalidate(addr, size)	do { 		\  argument
224 # define xthal_dcache_block_writeback(addr, size)	do {		\  argument
227 # define xthal_dcache_block_writeback_inv(addr, size)	do {		\  argument
231 # define xthal_dcache_block_invalidate_max(addr, size, max)	do {		\  argument
234 # define xthal_dcache_block_writeback_max(addr, size, max)	do { 		\  argument
237 # define xthal_dcache_block_writeback_inv_max(addr, size, max)	do {		\  argument
243 # define xthal_dcache_block_prefetch_read_write(addr, size) do {	\  argument
246 # define xthal_dcache_block_prefetch_read_write_grp(addr, size) do {	\  argument
249 # define xthal_dcache_block_prefetch_for_read(addr, size) do {		\  argument
252 # define xthal_dcache_block_prefetch_for_read_grp(addr, size) do {	\  argument
276 # define xthal_dcache_block_invalidate(addr, size)		do {/*nothing*/} while(0)  argument
277 # define xthal_dcache_block_writeback(addr, size)		do {/*nothing*/} while(0)  argument
278 # define xthal_dcache_block_writeback_inv(addr, size)		do {/*nothing*/} while(0)  argument
279 # define xthal_dcache_block_invalidate_max(addr, size, max)	do {/*nothing*/} while(0)  argument
280 # define xthal_dcache_block_writeback_max(addr, size, max)	do {/*nothing*/} while(0)  argument
281 # define xthal_dcache_block_writeback_inv_max(addr, size, max) 	do {/*nothing*/} while(0)  argument
282 # define xthal_dcache_block_prefetch_read_write(addr, size)	do {/*nothing*/} while(0)  argument
283 # define xthal_dcache_block_prefetch_read_write_grp(addr, size)	do {/*nothing*/} while(0)  argument
284 # define xthal_dcache_block_prefetch_for_read(addr, size)	do {/*nothing*/} while(0)  argument
285 # define xthal_dcache_block_prefetch_for_read_grp(addr, size)	do {/*nothing*/} while(0)  argument
295 # define xthal_dcache_block_prefetch_for_write(addr, size) do {	\  argument
298 # define xthal_dcache_block_prefetch_modify(addr, size) do {		\  argument
301 # define xthal_dcache_block_prefetch_for_write_grp(addr, size) do {	\  argument
304 # define xthal_dcache_block_prefetch_modify_grp(addr, size) do {	\  argument
308 # define xthal_dcache_block_prefetch_for_write(addr, size)	do {/*nothing*/} while(0)  argument
309 # define xthal_dcache_block_prefetch_modify(addr, size) 	do {/*nothing*/} while(0)  argument
310 # define xthal_dcache_block_prefetch_for_write_grp(addr, size)	do {/*nothing*/} while(0)  argument
311 # define xthal_dcache_block_prefetch_modify_grp(addr, size)  	do {/*nothing*/} while(0)  argument
425 static inline unsigned  XTHAL_COMPARE_AND_SET( int *addr, int testval, int setval )  in XTHAL_COMPARE_AND_SET()