K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-02-19T12:47:48.530008Z
K 7
svn:log
V 337
Add support to get the cpu ID from its device driver in a generic way.
This will be needed by arm64 to find the value to pass to the psci (Power
State Coordination Interface) driver, among other things, used to enable
cores.

Differential Revision:	https://reviews.freebsd.org/D1824
Reviewed by:	imp
Sponsored by:	The FreeBSD Foundation

END