This removes the need for local diffs in CheriBSD where vm_offset_t
is an address and not the same as a uintptr_t. No functional change.
Sponsored by: University of Cambridge, Google, Inc.
Differential D44341
arm64 gicv3: Use void pointers instead of vm_offset_t jhb on Mar 13 2024, 6:09 PM. Authored by Tags None Referenced Files
Details This removes the need for local diffs in CheriBSD where vm_offset_t Sponsored by: University of Cambridge, Google, Inc.
Diff Detail
Event Timeline
|