K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2020-08-12T18:45:36.878745Z
K 7
svn:log
V 289
Correct padding length for RISC-V PCPU data.

There was an additional 7 bytes of compiler-inserted padding at the
end of the structure visible via 'ptype /o' in gdb.

Reviewed by:	mhorne
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D25867

END