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
This commit is contained in:
Andrew Turner 2017-08-02 14:12:47 +00:00
parent c852847584
commit 28356527bf
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=321925

View File

@ -138,7 +138,7 @@ get_freq(void)
return (get_el0(cntfrq));
}
static long
static uint64_t
get_cntxct(bool physical)
{
uint64_t val;