No functional change, but this reduces diffs with CheriBSD downstream.
Sponsored by: University of Cambridge, Google, Inc.
Differential D44344
arm64: Use void pointers for arguments to arm64_get_writable_addr jhb on Mar 13 2024, 6:10 PM. Authored by Tags None Referenced Files
Details No functional change, but this reduces diffs with CheriBSD downstream. Sponsored by: University of Cambridge, Google, Inc.
Diff Detail
|