Page MenuHomeFreeBSD

arm64 gicv3: Use void pointers instead of vm_offset_t
ClosedPublic

Authored by jhb on Mar 13 2024, 6:09 PM.
Tags
None
Referenced Files
F143136068: D44341.id135702.diff
Mon, Jan 26, 10:47 AM
F143095227: D44341.id135787.diff
Sun, Jan 25, 10:41 PM
F143072448: D44341.diff
Sun, Jan 25, 3:45 PM
F143053071: D44341.id54425.diff
Sun, Jan 25, 12:43 PM
Unknown Object (File)
Sun, Jan 18, 2:45 PM
Unknown Object (File)
Tue, Jan 6, 10:29 PM
Unknown Object (File)
Dec 22 2025, 12:25 AM
Unknown Object (File)
Nov 23 2025, 12:12 AM
Subscribers

Details

Summary

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.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable

Event Timeline

jhb requested review of this revision.Mar 13 2024, 6:09 PM
This revision is now accepted and ready to land.Mar 13 2024, 7:59 PM
sys/arm64/arm64/gicv3_its.c
708

Are these intended to be in this change?

sys/arm64/arm64/gicv3_its.c
708

I included them only for convenience. I can split out the cleanup fixes to a separate commit if that is better.

andrew added inline comments.
sys/arm64/arm64/gicv3_its.c
723

If changing this you could also remove the extra newline, panic will print one for us.