K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2018-11-01T22:15:25.612737Z
K 7
svn:log
V 387
SBI calls expect a pointer to a u_long rather than a pointer.

This is just cosmetic.

A weirder issue is that the SBI doc claims the hart mask pointer should
be a physical address, not a virtual address.  However, the implementation
in bbl seems to just dereference the address directly.

Reviewed by:	markj
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D17781

END