On Mon, Jul 28, 2025 at 11:23:42AM +0000, Ankit Soni wrote: > > +static __always_inline struct pt_range _pt_top_range(struct pt_common *common, > > + uintptr_t top_of_table) > > +{ > > + struct pt_range range = { > > + .common = common, > > + .top_table = > > + (struct pt_table_p *)(top_of_table & > > + ~(uintptr_t)PT_TOP_LEVEL_MASK), > > +#ifdef PT_FIXED_TOP_LEVEL > > I am not able to find definition for above macro. > Was it intentional to leave the macro 'PT_FIXED_TOP_LEVEL' undefined? It is defined per-format. Right now the only format that used it was armv7s which isn't likely to progress. So I can drop this out. Thanks, Jason