#include <stdio.h>
#include <stdlib.h>

#include <verify.h>

#define LIST_ADDR   (VERIFY_INFO_PHYSADDR + RDPLIST_ADDR_OFFSET)
#define COUNT_ADDR  (VERIFY_INFO_PHYSADDR + RDPLISTSIZE_OFFSET)

main (int argc,  char *argv[])
{
    FILE *fp;
    int startaddr;
    int count;
    unsigned char *cp;
    unsigned long long int lcount;
    
    if (argc != 2) {
	fprintf(stderr, "Usage: %s memory_file\n", argv[0]);
	exit(1);
    }
    
    if ( (fp = fopen(argv[1], "r")) == NULL) {
	fprintf(stderr, "Could not open %s\n", argv[1]);
	exit(1);
    }
    
    fseek(fp, LIST_ADDR, SEEK_SET);
    fread(&startaddr, sizeof (startaddr), 1, fp);
startaddr = ntohl(startaddr);
    fseek(fp, COUNT_ADDR, SEEK_SET);
    fread(&lcount, sizeof (lcount), 1, fp);
{
int tmp, *x = (int*)&lcount;
tmp = ntohl(x[0]);
x[0] = ntohl(x[1]);
x[1] = tmp;
}
    count = (int) lcount;
    
    /* extract only the offset into 2 MB memory */
    startaddr &= 0x3fffff;
fprintf(stderr, "start 0x%x, count 0x%x\n", startaddr, count);
    
    cp = (unsigned char *)malloc(count*4);
    fseek(fp, startaddr, SEEK_SET);
    fread(cp, count, 1, fp);
    fwrite(cp, count, 1, stdout);
    return 0;
}