John Baldwin e08087ee43 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
2019-08-28 23:40:57 +00:00
..
2019-07-12 19:14:52 +00:00
2018-06-13 07:02:58 +00:00
2018-06-13 07:02:58 +00:00
2019-08-01 02:16:48 +00:00
2019-08-01 02:16:48 +00:00
2019-08-01 02:16:48 +00:00
2019-08-01 02:16:48 +00:00
2019-08-01 02:16:48 +00:00