deviceHotPlug should not return anything