HomeFreeBSD

Fix the return type for get_cntxc(). The register is 64-bit on both arm

Description

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

Details

Provenance
andrewAuthored on
Parents
rS321924: Keep top page on CloudABI to work around AMD Ryzen stability issues.
Branches
Unknown
Tags
Unknown