| typedef unsigned long long u64; | |
| #define YYSTYPE u64 | |
| extern void yyerror(const char *fmt, ...); | |
| extern int yylineno; | |
| extern int yylex(void); | |
| extern int yyparse(void); | |
| extern char *filename; | |
| enum mceflags { | |
| MCE_NOBROADCAST = (1 << 0), | |
| MCE_HOLD = (1 << 1), | |
| MCE_RAISE_MODE = (1 << 2), | |
| MCE_IRQBROADCAST = (1 << 3), | |
| MCE_NMIBROADCAST = (1 << 4), | |
| }; | |
| extern enum mceflags mce_flags; |