YY_EXTRA_TYPE     846 scripts/kconfig/zconf.lex.c #ifndef YY_EXTRA_TYPE
YY_EXTRA_TYPE     861 scripts/kconfig/zconf.lex.c YY_EXTRA_TYPE zconfget_extra (void );
YY_EXTRA_TYPE     863 scripts/kconfig/zconf.lex.c void zconfset_extra (YY_EXTRA_TYPE user_defined  );