K 10 svn:author V 6 andrew K 8 svn:date V 27 2017-08-02T14:12:47.363398Z K 7 svn:log V 235 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 X-Differential Revision: https://reviews.freebsd.org/D10213 END