cpu_dumpsize
int cpu_dumpsize(void);
blkno = dumplo + cpu_dumpsize();
dumpblks = cpu_dumpsize();
dumpblks = cpu_dumpsize();
blkno = dumplo + cpu_dumpsize();
int cpu_dumpsize(void);
dumpblks = cpu_dumpsize();
int cpu_dumpsize(void);
dumpblks = cpu_dumpsize();
blkno = dumplo + cpu_dumpsize();
int cpu_dumpsize(void);
dumplo -= cpu_dumpsize();
int cpu_dumpsize(void);
dumpblks = cpu_dumpsize();
blkno = dumplo + cpu_dumpsize();
int cpu_dumpsize(void);
static int cpu_dumpsize(void);
dumpblks = cpu_dumpsize();
dumpblks = cpu_dumpsize();
int cpu_dumpsize(void);
chdrsize = cpu_dumpsize();
int cpu_dumpsize(void);
dumpblks = cpu_dumpsize();
blkno = dumplo + cpu_dumpsize();
int cpu_dumpsize(void);
blkno = dumplo + cpu_dumpsize();
dumpblks = cpu_dumpsize();