OS-135: use pointer to devinfo rather than copy of devinfo on stack