K 10
svn:author
V 6
brooks
K 8
svn:date
V 27
2020-09-04T21:55:22.282316Z
K 7
svn:log
V 303
Round TF_SIZE up to the stack alignment (16-bytes).

The kernel adjusts the stack by TF_SIZE and the RISC-V ABI requires
that it remain 16-byte aligned.

Reported by:	CHERI, jrtc27
Reviewed by:	mhorne
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D26328

END