> On Aug 4, 2018, at 2:09 AM, Maxime Villard <m...@m00nbsd.net> wrote: > > Regarding the DDB ifndef, probably there must be > a bit in ARM64 saying "disable page protection", so it could be set when > we enter DDB, and we could remove the ifndef.
It only matters when setting / removing breakpoints, so it seems like you want to defer changing page protection right until then. Even if there's not a single bit that will do it (I honestly don't know), why not just fiddle with the L2 descriptor directly? -- thorpej
