Fix the return type for get_cntxc(). The register is 64-bit on both arm
and arm64 so move any truncation to the caller.
Submitted by: Mihai Carabas <mihai.carabas@gmail.com>
X-Differential Revision: https://reviews.freebsd.org/D10213
Fix the return type for get_cntxc(). The register is 64-bit on both arm Tags None Referenced Files None Subscribers None
Description
Details
|