Gah, sorry for going back and forth on this, xen_get_domainname only works if the driver is already initialized as I mentioned before. The current call to driver_get_name is actually a bug @ https://github.com/bdpayne/libvmi/blob/master/libvmi/core.c#L573. That will never work, because https://github.com/bdpayne/libvmi/blob/master/libvmi/driver/xen.c#L383 expects a valid xenstore handle which has not been initialized yet!