1 #include <stdio.h>
2 #include <time.h>
3 
4 struct memdimm;
5 void account_page_error(struct mce *m, int channel, int dimm);
6 void dump_page_errors(FILE *);
7 void page_setup(void);
8 
9 
10