[PATCH 12/20] libxl_driver.c: modernize libxlNodeDeviceReAttach()