On Fri, Feb 28, 2025 at 09:59:53AM +0800, Baolu Lu wrote: > This seems to be a paging domain with identity mappings for some > specific ranges. Sometimes it's the global static too > So perhaps naming the callback as domain_alloc_paging_identity, or > domain_alloc_paging_static? s390 and dart are looking like they will use this function to conditionally support identity with the static domain, so I think we should not add paging to the name Jason