1 // ****************************************************************************
2 // Prelude, this file is used with -macro_file_builtins option of the C parser
3 // ****************************************************************************
6 * - macros found in <.h>
7 * - macros found in ".h"
8 * but where we cant detect that it will be a "bad macro"
11 * A "bad macro" is a macro using free variables or when expanded
12 * that influence the control-flow of the code. In those cases it
13 * is preferable to expand the macro so that the coccinelle engine
14 * has a more accurate representation of what is going on.
19 * old: this file was also containing what is below but now we
20 * try to expand on demand the macro found in the c file, so those cases
21 * are not needed any more:
22 * - macros found in .c; macros that cannot be parsed.
23 * In the future should be autodetected
24 * (not so easy to do same for macros in .h cos require to access .h file)
25 * - macros found in .c; macros correctly parsed
26 * but where we cant detect that it will be a "bad macro"
28 * Some of those macros could be deleted and the C code rewritten because
29 * they are "bad" macros.
31 * todo? perhaps better if could enable/disable some of those expansions
32 * as different software may use conflicting macros.
35 * can maybe have a look in sparse/lib.c to see a list of default #define
36 * handled builtin apparently by gcc.
39 // ****************************************************************************
41 // ****************************************************************************
43 /* Cooperation with parsing_hack.ml: some body of macros in this file, such
44 * as MACROSTATEMENT, are considered as magic strings.
45 * I can't just expand those macros into some 'whatever();' because I need
46 * to generate a TMacroStmt for solving some ambiguities in the grammar
47 * for the toplevel stuff I think.
48 * Right now a set of special strings are used as "hints" to the parser
49 * to help it parse code. Those hints are specified in parsing_hack.ml:
54 * - YACFE_STATEMENT, or MACROSTATEMENT
56 * - YACFE_IDENT_BUILDER
59 // ****************************************************************************
61 // ****************************************************************************
63 // #define FOO(a, OP, b) a OP b
64 // #define FOO(a,b) fn(a,b)
65 #define FOO_METH_TEST(a) YACFE_IDENT_BUILDER
67 //#define FOO YACFE_DECLARATOR
69 // ****************************************************************************
71 // ****************************************************************************
73 // this is defined by windows compiler, and so can not be found via a macro
74 // after a -extract_macros
75 #define __stdcall /*could: YACFE_ATTRIBUTE*/
82 // ****************************************************************************
84 // ****************************************************************************
86 // ----------------------------------------------------------------------------
87 // Attributes. could perhaps generalize via "__.*"
88 // ----------------------------------------------------------------------------
100 #define __init_or_module
101 #define __initdata_or_module
105 #define __cacheline_aligned
106 #define ____cacheline_aligned
107 #define __cacheline_aligned_in_smp
108 #define ____cacheline_aligned_in_smp
109 #define ____cacheline_internodealigned_in_smp
112 #define __3xp_aligned
117 #define __read_mostly
122 #define __maybe_unused
125 #define __attribute_used__
126 #define __attribute_pure__
127 #define __attribute_const__
128 // #define _attribute__const __attribute__((const))
130 #define __always_inline
134 // in the other part of the kernel, in arch/, mm/, etc
141 #define __meminitdata
144 #define __nomods_init
145 #define __apicdebuginit
150 #define __tlb_handler_align
151 #define __lock_aligned
153 #define __nongprelbss
154 #define __nongpreldata
157 #define __section_jiffies
158 #define __vsyscall_fn
159 #define __section_vgetcpu_mode
160 #define __section_vsyscall_gtod_data
172 // maybe only in old kernel
173 #define __openfirmware
176 #define __extension__
185 #define __uses_jump_to_uncached
191 #define __net_initdata
193 #define __paginginit // in mm
195 // ----------------------------------------------------------------------------
197 // ----------------------------------------------------------------------------
199 /* string macro. normally handle quite well by mu lalr(k), but
200 * sometimes not enough, if have for instance the XX YY case, could
201 * be considered as a declaration with XX being a typedef, so would
202 * Have ambiguity. So at least by adding this special case, we can
203 * catch more correct string-macro, no more a XX YY but now a good
206 * cf include/linux/kernel.h
208 * For stringification I need to have at least a witness, a string,
209 * and sometimes have just printk(KERN_WARNING MYSTR) and it could
210 * be transformed in a typedef later, so better to at least
211 * transform in string already the string-macro we know.
213 * Perhaps better to apply also as soon as possible the
214 * correct macro-annotation tagging (__init & co) to be able to
215 * filter them as soon as possible so that they will not polluate
216 * our pattern-matching that come later.
219 #define KERN_EMERG "KERN_EMERG"
220 #define KERN_ALERT "KERN_ALERT"
221 #define KERN_CRIT "KERN_CRIT"
222 #define KERN_ERR "KERN_ERR"
223 #define KERN_WARNING "KERN_WARNING"
224 #define KERN_NOTICE "KERN_NOTICE"
225 #define KERN_INFO "KERN_INFO"
226 #define KERN_DEBUG "KERN_DEBUG"
231 * Replaced by a string. We can't put everything as comment
232 * because it can be part of an expression where we wait for
233 * something, where we wait for a string. So at least we
234 * must keep the EX_TABLE token and transform it as a string.
236 * normally not needed if have good stringification of macro
237 * but those macros are sometimes used multiple times
238 * as in EX_TABLE(0b) EX_TABLE(1b) and we don't detect
242 // TODO don't use x :(
243 #define EX_TABLE(x) "TOTO"
244 #define ASM_EXCEPTIONTABLE_ENTRY(x) "TOTO"
245 #define DCACHE_CLEAR(x) "TOTO"
246 #define PPC405_ERR77(x) "TOTO"
251 // ----------------------------------------------------------------------------
253 // ----------------------------------------------------------------------------
254 // pb, false positive, can also be a #define cst and use as 'case CONST:'
255 //#define CONST const
258 #define STATIC static
259 #define _static static
263 #define __CS4231_INLINE__ inline
264 #define CCIO_INLINE inline
265 #define SBA_INLINE inline
267 #define STATIC_INLINE static inline
268 #define __EXTERN_INLINE extern inline
270 #define AGPEXTERN extern
272 #define PNMI_STATIC static
273 #define RLMT_STATIC static
274 #define SISINITSTATIC static
275 #define SCTP_STATIC static
280 #define TRACE_EXIT return
284 #define noinline_for_stack // in fs
285 #define debug_noinline // in net
287 // ----------------------------------------------------------------------------
289 // ----------------------------------------------------------------------------
301 // ----------------------------------------------------------------------------
302 // ----------------------------------------------------------------------------
308 #define compat_init_data
310 #define DIVA_EXIT_FUNCTION
311 #define DIVA_INIT_FUNCTION
312 #define ACPI_SYSTEM_XFACE
315 #define in2000__INITDATA
322 #define ACPI_INTERNAL_VAR_XFACE
326 #define ACPI_STATE_COMMON
327 #define ACPI_PARSE_COMMON
328 #define ACPI_COMMON_DEBUG_MEM_HEADER
331 #define nabi_no_regargs
335 #define ATTRIBUTE_UNUSED
340 #define EARLY_INIT_SECTION_ATTR
345 #define IDI_CALL_ENTITY_T
346 #define IDI_CALL_LINK_T
349 * A trick to suppress uninitialized variable warning without generating any
352 #define uninitialized_var(x) x = x
353 // as in u16 uninitialized_var(ioboard_type); /* GCC be quiet */
355 // ----------------------------------------------------------------------------
356 // ----------------------------------------------------------------------------
358 #define __releases(x)
359 #define __acquires(x)
360 #define __declspec(x)
361 #define __page_aligned(x)
362 #define __vsyscall(x)
364 // ----------------------------------------------------------------------------
365 // ----------------------------------------------------------------------------
368 //conflict with a macro of firefox
369 //#define FASTCALL(x) x
374 // ----------------------------------------------------------------------------
375 // ----------------------------------------------------------------------------
377 // include/asm-arm/mach/arch.h
378 // #define MACHINE_START(x) struct foo { x }
379 #define MACHINE_START(_type,_name) \
380 static const struct machine_desc __mach_desc_##_type \
382 __attribute__((__section__(".arch.info.init"))) = { \
383 .nr = MACH_TYPE_##_type, \
386 #define MACHINE_END \
389 // include/asm-powerpc/machdep.h
390 #define define_machine(name) \
391 extern struct machdep_calls mach_##name; \
392 EXPORT_SYMBOL(mach_##name); \
393 struct machdep_calls mach_##name /*__machine_desc*/ =
396 // ----------------------------------------------------------------------------
397 // Declare like macros (in structure def), or tricky Declare macros
398 // ----------------------------------------------------------------------------
400 // include/asm-i386/pci.h
401 // the DECLARE are detected by parsing_hack but not when they are
402 // inside a struct def.
403 #define DECLARE_PCI_UNMAP_ADDR(ADDR_NAME)
404 #define DECLARE_PCI_UNMAP_LEN(LEN_NAME)
406 // defined in drivers/infiniband/hw/mthca/mthca_doorbell.h
407 #define MTHCA_DECLARE_DOORBELL_LOCK(doorbell_lock)
409 // include/linux/types.h
410 //#define BITS_TO_LONGS(bits) \
411 // (((bits)+BITS_PER_LONG-1)/BITS_PER_LONG)
412 #define DECLARE_BITMAP(name,bits) \
413 /*unsigned*/ long name[BITS_TO_LONGS(bits)]
416 // include/asm-i386/percpu.h
417 // interesting macro where we see the need of __typeof__(type) with
418 // for example DECLARE_PER_CPU(char[256], iucv_dbf_txt_buf);
419 #define DEFINE_PER_CPU(type, name) \
420 __attribute__((__section__(".data.percpu"))) __typeof__(type) per_cpu__##name
421 #define DECLARE_PER_CPU(type, name) extern __typeof__(type) per_cpu__##name
425 // include/linux/kobject.h
426 #define decl_subsys(_name,_type,_uevent_ops) \
427 struct subsystem _name##_subsys = { \
429 .kobj = { .name = __stringify(_name) }, \
431 .uevent_ops =_uevent_ops, \
435 // ----------------------------------------------------------------------------
436 // ----------------------------------------------------------------------------
438 // pb: if use this macro then we will not transform the argument of CS_CHECK
440 //#define CS_CHECK(fn, ret) \
441 // do { last_fn = (fn); if ((last_ret = (ret)) != 0) goto cs_failed; } while (0)
445 #define BCSP_CRC_INIT(x) x = 0xffff
448 // sound/oss/cs46xx_wrapper-24.h
449 #define CS_OWNER .owner =
450 #define CS_THIS_MODULE THIS_MODULE,
453 // sound/sparc/dbri.c
454 // "bad macro", have a ',' at the end
455 #define CS4215_SINGLE(xname, entry, shift, mask, invert) \
456 { .iface = SNDRV_CTL_ELEM_IFACE_MIXER, .name = xname, \
457 .info = snd_cs4215_info_single, \
458 .get = snd_cs4215_get_single, .put = snd_cs4215_put_single, \
459 .private_value = entry | (shift << 8) | (mask << 16) | (invert << 24) },
461 // drivers/media/video/sn9c102/sn9c102_sensor.h
462 //#define sn9c102_write_const_regs(sn9c102_device, data...) \
463 // ({ const static u8 _valreg[][2] = {data}; \
464 // sn9c102_write_regs(sn9c102_device, _valreg, ARRAY_SIZE(_valreg)); })
470 // drivers/s390/cio/qdio.h
471 #define SYNC_MEMORY if (unlikely(q->siga_sync)) qdio_siga_sync_q(q)
472 #define SYNC_MEMORY_ALL if (unlikely(q->siga_sync)) \
473 qdio_siga_sync(q,~0U,~0U)
474 #define SYNC_MEMORY_ALL_OUTB if (unlikely(q->siga_sync)) \
475 qdio_siga_sync(q,~0U,0)
477 // drivers/scsi/g_NCR5380.c
481 // drivers/scsi/ncr53c8xx.c
482 // generate lots of errors because error en cascade car dans l'initialiseur
483 // il y'a des '}' dans la premiere colonne
484 #define PREFETCH_FLUSH SCR_CALL, PADDRH (wait_dma),
486 // drivers/net/e100.c
487 // pbs false positive, defined in another manner in some files
491 // net/ipv4/netfilter/ip_conntrack_helper_h323_asn1.c
492 // also used in other.c that don't do any include :(
493 // but locally redefined in drivers/net/bnx2.c :( with a
495 #define FNAME(name) name,
498 // drivers/net/tulip/de4x5.c
503 #define MPI_POINTER *
505 // mega4/soc.c mega4/socal.c
506 // cause false typedef inference if let soc_printk
507 #define soc_printk printk
508 #define socal_printk printk
511 // ----------------------------------------------------------------------------
512 // Initializer array macros
513 // ----------------------------------------------------------------------------
515 // drivers/net/wireless/bcm43xx/bcm43xx_wx.c
516 // defined in similar way multiple times, in the same file and in another one
517 #define WX(ioctl) [(ioctl) - SIOCSIWCOMMIT]
518 // #define WX(x) [(x)-SIOCIWFIRST]
520 // drivers/net/wireless/ipw2200.c
521 #define IW_IOCTL(x) [(x)-SIOCSIWCOMMIT]
523 // drivers/net/wireless/zd1211rw/zd_netdev.c
524 #define PRIV_OFFSET(x) [(x)-SIOCIWFIRSTPRIV]
526 // drivers/net/wireless/zd1211rw/zd_rf.h
527 #define RF_CHANNEL(ch) [(ch)-1]
529 // drivers/net/wireless/zd1211rw/zd_rf_uw2453.c
530 #define RF_CHANPAIR(a,b) [CHAN_TO_PAIRIDX(a)]
532 // drivers/net/wireless/arlan-proc.c
533 // incomplete macro, the real macro is quite complex and use other macros
534 #define ARLAN_SYSCTL_TABLE_TOTAL(x)
537 // ----------------------------------------------------------------------------
538 // ----------------------------------------------------------------------------
540 // drivers/net/cxgb3/t3_hw.c
541 #define VPD_ENTRY(name, len) \
542 u8 name##_kword[2]; u8 name##_len; u8 name##_data[len]
545 // #define rtrc(i) {}
547 // ----------------------------------------------------------------------------
548 // ----------------------------------------------------------------------------
550 // drivers/video/nvidia/nv_type.h
551 // use: SetBitField(h_blank_e, 5: 5, 7:7)
552 //#define BITMASK(t,b) (((unsigned)(1U << (((t)-(b)+1)))-1) << (b))
553 //#define MASKEXPAND(mask) BITMASK(1?mask,0?mask)
554 //#define SetBF(mask,value) ((value) << (0?mask))
555 //#define GetBF(var,mask) (((unsigned)((var) & MASKEXPAND(mask))) >> (0?mask) )
556 //#define SetBitField(value,from,to) SetBF(to, GetBF(value,from))
557 //#define SetBit(n) (1<<(n))
558 //#define Set8Bits(value) ((value)&0xff)
561 // drivers/video/sis/init.c
562 // use: GETBITSTR((SiS_Pr->CVTotal -2), 10:10, 0:0)
563 //#define BITMASK(h,l) (((unsigned)(1U << ((h)-(l)+1))-1)<<(l))
564 //#define GENMASK(mask) BITMASK(1?mask,0?mask)
565 //#define GETBITS(var,mask) (((var) & GENMASK(mask)) >> (0?mask))
566 //#define GETBITSTR(val,from,to) ((GETBITS(val,from)) << (0?to))
570 #define ASSERTCMP(X, OP, Y) \
572 if (unlikely(!((X) OP (Y)))) { \
573 printk(KERN_ERR "\n"); \
574 printk(KERN_ERR "AFS: Assertion failed\n"); \
575 printk(KERN_ERR "%lu " /*#OP*/ " %lu is false\n", \
576 (unsigned long)(X), (unsigned long)(Y)); \
577 printk(KERN_ERR "0x%lx " /*#OP*/ " 0x%lx is false\n", \
578 (unsigned long)(X), (unsigned long)(Y)); \
583 #define ASSERTIFCMP(C, X, OP, Y) \
585 if (unlikely((C) && !((X) OP (Y)))) { \
586 printk(KERN_ERR "\n"); \
587 printk(KERN_ERR "AFS: Assertion failed\n"); \
588 printk(KERN_ERR "%lu " /*#OP*/ " %lu is false\n", \
589 (unsigned long)(X), (unsigned long)(Y)); \
590 printk(KERN_ERR "0x%lx " /*#OP*/ " 0x%lx is false\n", \
591 (unsigned long)(X), (unsigned long)(Y)); \
597 #define ASSERTRANGE(L, OP1, N, OP2, H) \
599 if (unlikely(!((L) OP1 (N)) || !((N) OP2 (H)))) { \
600 printk(KERN_ERR "\n"); \
601 printk(KERN_ERR "AFS: Assertion failed\n"); \
602 printk(KERN_ERR "%lu "/*#OP1*/" %lu "/*#OP2*/" %lu is false\n", \
603 (unsigned long)(L), (unsigned long)(N), \
604 (unsigned long)(H)); \
605 printk(KERN_ERR "0x%lx "/*#OP1*/" 0x%lx "/*#OP2*/" 0x%lx is false\n", \
606 (unsigned long)(L), (unsigned long)(N), \
607 (unsigned long)(H)); \
615 // loop, macro without ';', single macro. ex: DEBUG()
617 // TODO should find the definition because we don't use 'x' and so
618 // may lose code sites with coccinelle. If expand correctly, will
619 // still don't transform correctly but at least will detect the place.
624 #define ASSERT(x) MACROSTATEMENT
625 #define IRDA_ASSERT(x) MACROSTATEMENT
627 #define CHECK_NULL(x) MACROSTATEMENT
629 //#define DEBUG(x) MACROSTATEMENT
630 #define DEBUG0(x) MACROSTATEMENT
631 #define DEBUG1(x) MACROSTATEMENT
632 #define DEBUG2(x) MACROSTATEMENT
633 #define DEBUG3(x) MACROSTATEMENT
636 #define DBG(x) MACROSTATEMENT
637 #define DEB(x) MACROSTATEMENT
638 #define PARSEDEBUG(x) MACROSTATEMENT
639 #define DEBC(x) MACROSTATEMENT
640 #define DBG_TRC(x) MACROSTATEMENT
641 #define DBG_ERR(x) MACROSTATEMENT
642 #define DBG_FTL(x) MACROSTATEMENT
644 #define DBGINFO(x) MACROSTATEMENT
645 #define DFLOW(x) MACROSTATEMENT
646 #define DFLIP(x) MACROSTATEMENT
647 #define DLOG_INT_TRIG(x) MACROSTATEMENT
649 #define D3(x) MACROSTATEMENT
650 #define D1(x) MACROSTATEMENT
651 #define DB(x) MACROSTATEMENT
652 #define DCBDEBUG(x) MACROSTATEMENT
653 #define SCSI_LOG_MLQUEUE(x) MACROSTATEMENT
655 #define PLND(x) MACROSTATEMENT
656 #define FCALND(x) MACROSTATEMENT
657 #define FCALD(x) MACROSTATEMENT
659 #define DEBUGRECURSION(x) MACROSTATEMENT
661 #define DEBUGPIO(x) MACROSTATEMENT
662 #define VDEB(x) MACROSTATEMENT
664 #define READ_UNLOCK_IRQRESTORE(x) MACROSTATEMENT
666 #define TRACE_CATCH(x) MACROSTATEMENT
668 #define PDBGG(x) MACROSTATEMENT
670 #define IF_ABR(x) MACROSTATEMENT
671 #define IF_EVENT(x) MACROSTATEMENT
672 #define IF_ERR(x) MACROSTATEMENT
673 #define IF_CBR(x) MACROSTATEMENT
674 #define IF_INIT(x) MACROSTATEMENT
675 #define IF_RX(x) MACROSTATEMENT
677 #define SOD(x) MACROSTATEMENT
679 #define KDBG(x) MACROSTATEMENT
681 #define IRDA_ASSERT_LABEL(x) MACROSTATEMENT
687 // ----------------------------------------------------------------------------
689 // ----------------------------------------------------------------------------
691 // include/linux/sched.h
692 #define while_each_thread(g, t) \
693 while ((t = next_thread(t)) != g)
697 // net/decnet/dn_fib.c
698 #define for_fib_info() { struct dn_fib_info *fi;\
699 for(fi = dn_fib_info_list; fi; fi = fi->fib_next)
700 #define endfor_fib_info() }
702 #define for_nexthops(fi) { int nhsel; const struct dn_fib_nh *nh;\
703 for(nhsel = 0, nh = (fi)->fib_nh; nhsel < (fi)->fib_nhs; nh++, nhsel++)
705 #define change_nexthops(fi) { int nhsel; struct dn_fib_nh *nh;\
706 for(nhsel = 0, nh = (struct dn_fib_nh *)((fi)->fib_nh); nhsel < (fi)->fib_nhs; nh++, nhsel++)
708 #define endfor_nexthops(fi) }
711 // ----------------------------------------------------------------------------
712 // Macros around function prototype
713 // ----------------------------------------------------------------------------
716 // net/sched/em_meta.c
717 #define META_COLLECTOR(FUNC) static void meta_##FUNC(struct sk_buff *skb, \
718 struct tcf_pkt_info *info, struct meta_value *v, \
719 struct meta_obj *dst, int *err)
722 #define GDTH_INITFUNC(x,y) x y
723 #define ASC_INITFUNC(x,y) x y
726 // ----------------------------------------------------------------------------
728 // ----------------------------------------------------------------------------
730 // include/linux/lockd/debug.h
731 // include/linux/nfs_fs.h
732 // include/linux/nfsd/debug.h
733 // include/linux/sunrpc/debug.h
734 //#define ifdebug(flag) if (unlikely(nlm_debug & NLMDBG_##flag))
735 #define ifdebug(flag) if (0)
739 // ----------------------------------------------------------------------------
742 // ----------------------------------------------------------------------------
743 // for tests-big/ macros, may be obsolete now cos fixed in latest kernel
744 // ----------------------------------------------------------------------------
747 //#define ACPI_MODULE_NAME(x)