WMI and IOCTL interface driver for XenServer guests