XDT_HVM_IOPORT_WRITE
eid = XDT_HVM_IOPORT_WRITE;
{ "hvm", "pio-write", XDT_HVM_IOPORT_WRITE, XDT_HVM },