Input: xen - check return value of xenbus_printf