kern/163978: [hwpmc] [patch] Loading hwpmc with an unknown cpuid causes a page fault in kernel mode.

[davide at FreeBSD.org]

Synopsis: [hwpmc] [patch] Loading hwpmc with an unknown cpuid causes a page fault in kernel mode.

State-Changed-From-To: open->feedback
State-Changed-By: davide
State-Changed-When: Thu May 2 13:16:37 UTC 2013
State-Changed-Why: 
Alan, some changes have been recently committed to HEAD, and the problem
should be solved. I've not tested on Xen because I've not a machine with
that available, but I was able to reproduce this same bug on VirtualBB.
Do you mind to test if it also fixes the problem for you?

http://www.freebsd.org/cgi/query-pr.cgi?pr=163978