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