Rev 1296 |
Rev 1322 |
Go to most recent revision |
Blame |
Compare with Previous |
Last modification |
View Log
| RSS feed
/*
* Project: S.Ha.R.K.
*
* Coordinators:
* Giorgio Buttazzo <giorgio@sssup.it>
* Paolo Gai <pj@gandalf.sssup.it>
*
* Authors :
* Giacomo Guidi <giacomo@gandalf.sssup.it>
*
* ReTiS Lab (Scuola Superiore S.Anna - Pisa - Italy)
*
* http://www.sssup.it
* http://retis.sssup.it
* http://shark.sssup.it
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <string.h>
#define READ_BUFFER 2000
#define DELTA_BUFFER 100
int main
(int argc
, char *argv
[])
{
char buffer
[READ_BUFFER
+DELTA_BUFFER
];
void *p
, *last
;
int n
,i
,delta
,size
;
unsigned long long ev
= 0;
FILE
*input_file
;
if (argc
< 2) {
printf("%s: Enter the input file name [%s filename]\n",argv
[0],argv
[0]);
exit(1);
}
input_file
= fopen(argv
[1],"rb");
last
= buffer
+ READ_BUFFER
;
while(!feof(input_file
)) {
//move remaining byte
delta
= (unsigned int)(buffer
) + READ_BUFFER
- (unsigned int)(last
);
if (delta
> 0) memcpy(buffer
,last
,delta
);
n
= fread(buffer
+delta
,1,READ_BUFFER
-delta
,input_file
);
p
= buffer
;
while ((unsigned int)(p
) + *(unsigned char *)(p
+9) <= (unsigned int)(buffer
+ READ_BUFFER
) &&
(unsigned int)(p
) + *(unsigned char *)(p
+9) <= (unsigned int)(buffer
+ n
+ delta
)) {
printf("%08d Type = %02x ",(unsigned int)ev
,*(unsigned char *)(p
));
printf("TSC = %08x:%08x ",*(unsigned int *)(p
+1),*(unsigned int *)(p
+5));
size
= *(unsigned char *)(p
+9);
size
-= 10;
i
= 0;
while (size
> 0) {
printf("Par%d = %d ",i
,*(unsigned int *)(p
+10+i
*4));
i
++;
size
-= 4;
}
printf("\n");
ev
++;
p
+= *(unsigned char *)(p
+9);
last
= p
;
}
}
fclose(input_file
);
return 0;
}