K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2019-10-25T17:54:37.622475Z
K 7
svn:log
V 187
MFC r351591 (by jhb): 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.

END