On Tue, 2024-02-13 at 16:09 -0800, Andrii Nakryiko wrote: [...] > The "fake" bpf_map for __arena_internal is user-visible and requires > autocreate=false tricks, etc. I feel like it's a worse tradeoff from a > user API perspective than a few extra ARENA-specific internal checks > (which we already have a few anyways, ARENA is not completely > transparent internally anyways). By user-visible you mean when doing "bpf_object__for_each_map()", right? Shouldn't users ignore bpf_map__is_internal() maps? But I agree that having one map might be a bit cleaner.