K 10
svn:author
V 7
bdragon
K 8
svn:date
V 27
2020-07-06T15:15:37.624147Z
K 7
svn:log
V 288
[PowerPC] XIVE dispatch tweaks

  * Only read the DPCPU pointer once per xive_dispatch call.
  * Optimize HE decoding for the common cases.

Reported by:	jhibbits (in irc)
Reviewed by:	jhibbits
Sponsored by:	Tag1 Consulting, Inc.
Differential Revision:	https://reviews.freebsd.org/D25545

END