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 2017-08-02 14:12:47 +00:00
parent 28a0fcb4f0
commit ff6b78ab3b

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;