HVMにIRQを投げる

libxc関連は，英文も含めて，ほんっとに資料無いのね．ソース読めってか．

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

void
error_exit(const char *msg)
{
	fputs(msg, stderr);
	exit(1);
}


int
main(int argc, char **argv)
{
  int xc_handle;
  domid_t dom;
  uint8_t irq;

  if (argc != 3) error("a.out: [domid] [irq]");
  dom = atoi(argv[1]);
  irq = atoi(argv[2]);

  xc_handle = xc_interface_open();
  if (xc_handle < 0) error_exit("xc_interface_open");

  xc_hvm_set_isa_irq_level(xc_handle, dom, irq, 1);

  xc_interface_close(xc_handle);

  return 0;

}

書きなぐってみた．こんな感じっぽい．