On 1/25/19 11:12 AM, Alex Bennée wrote: >> + if (table_ofs > 0xfff) { >> + int table_hi = table_ofs & ~0xfff; >> + int mask_hi = mask_ofs & ~0xfff; > > Isn't there a #define for this number here?
No. I don't know what I'd call it, either. You're just Supposed to Know that arm memory offsets are 12 bits. ;-P r~