John Baldwin 490befd40a Use the right type for 64-bit coprocessor registers.
The use of "int" here caused the compiler to believe that it needs to
insert a "sll $n, $n, 0" to sign extend as part of the implicit cast
to uint64_t.

Submitted by:	Nathaniel Filardo <nwf20@cl.cam.ac.uk>
Reviewed by:	brooks, arichardson
Obtained from:	CheriBSD
Sponsored by:	DARPA
Differential Revision:	https://reviews.freebsd.org/D24457
2020-04-17 18:24:47 +00:00
..
2019-12-04 16:56:11 +00:00
2019-12-04 16:56:11 +00:00
2018-04-12 17:43:19 +00:00
2019-08-29 07:25:27 +00:00
2020-02-14 20:25:04 +00:00
2019-12-10 18:14:50 +00:00
2019-08-19 18:15:17 +00:00
2018-02-12 14:48:05 +00:00