/* 
 * This file is subject to the terms and conditions of the GNU General
 * Public License.  See the file "COPYING" in the main directory of
 * this archive for more details.
 *
 * Copyright (C) 2005 by Christian Limpach
 *
 */

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

#include <xenctrl.h>
#include <xenguest.h>

int
main(int argc, char **argv)
{
    unsigned int xc_fd, io_fd, domid, nr_pfns, store_evtchn, console_evtchn;
    int ret;
    unsigned long store_mfn, console_mfn;

    if (argc != 6)
	errx(1,
	     "usage: %s iofd domid nr_pfns store_evtchn console_evtchn",
	     argv[0]);

    xc_fd = xc_interface_open();
    if (xc_fd < 0)
        errx(1, "failed to open control interface");

    io_fd = atoi(argv[1]);
    domid = atoi(argv[2]);
    nr_pfns = atoi(argv[3]);
    store_evtchn = atoi(argv[4]);
    console_evtchn = atoi(argv[5]);

    ret = xc_linux_restore(xc_fd, io_fd, domid, nr_pfns, store_evtchn,
			   &store_mfn, console_evtchn, &console_mfn);
    if (ret == 0) {
	printf("store-mfn %li\n", store_mfn);
	printf("console-mfn %li\n", console_mfn);
	fflush(stdout);
    }

    xc_interface_close(xc_fd);

    return ret;
}