Page MenuHomeFreeBSD

Add a VA_IS_CLEANMAP() macro.
ClosedPublic

Authored by jhb on Feb 16 2021, 6:51 PM.
Tags
None
Referenced Files
F110313583: D28710.diff
Sun, Feb 16, 4:18 PM
Unknown Object (File)
Thu, Jan 23, 6:09 PM
Unknown Object (File)
Fri, Jan 17, 10:09 PM
Unknown Object (File)
Jan 11 2025, 8:05 PM
Unknown Object (File)
Jan 11 2025, 5:04 PM
Unknown Object (File)
Dec 21 2024, 3:01 PM
Unknown Object (File)
Nov 10 2024, 6:25 AM
Unknown Object (File)
Oct 28 2024, 8:53 AM

Details

Summary

This macro returns true if a provided virtual address is contained
in the kernel's clean submap.

In CHERI kernels, the buffer cache and transient I/O map are allocated
as separate regions. Abstracting this check reduces the diff relative
to FreeBSD. It is perhaps slightly more readable as well.

Sponsored by: DARPA

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 37059
Build 33948: arc lint + arc unit