On Fri, 20 Jan 2023, Julien Grall wrote: > > > #define zeroeth_table_offset(va) > > > TABLE_OFFSET(zeroeth_linear_offset(va)) > > > +#else > > > +#define zeroeth_table_offset(va) 0 > > > > Rather than 0 it might be better to have 32, hence zeroing the input > > address > I don't understand why you suggest 32. The macro is meant to return the index > in the 0th table. So return 0 is correct here.
This suggestion was a mistake, 0 is fine.
