Adrian Chadd 9cf5a6aad8 Populate the device info string with _PXM (proximity domain) information.
This is primarily useful for debugging right now - it'll show up in
devinfo.

Reviewed by:	jhb
2014-09-20 04:31:12 +00:00
..
2014-09-18 13:59:36 +00:00
2014-09-18 20:29:17 +00:00
2014-09-18 10:33:23 +00:00
2014-09-17 17:43:32 +00:00
2014-06-14 12:26:12 +00:00
2014-09-19 10:32:20 +00:00
2014-07-07 00:27:09 +00:00