K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2019-08-28T23:40:57.439648Z
K 7
svn:log
V 185
Use get_pcpu() to fetch the current CPU's pcpu pointer.

This avoids encoding knowledge about how pcpu objects are allocated and is
also a few instructions shorter.

MFC after:	2 weeks

END