K 10
svn:author
V 5
markj
K 8
svn:date
V 27
2017-07-08T18:53:02.333725Z
K 7
svn:log
V 63
Add device_is_registered() to the LinuxKPI.

MFC after:	1 week

END