K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2014-12-03T15:29:53.352386Z
K 7
svn:log
V 224
Revert device_getenv_int() for now as it duplicates resource_int_value().
We should perhaps implement a device_getenv_*() and device_setenv_*() API
as a convenience wrapper on top of resource_*_value() and resource_set_*().

END