On 10/27/21 3:46 AM, Marc Zyngier wrote: > That's an architectural definition that doesn't cause any problem. > If anything, that's documentation. > > We have *tons* of other definitions with no user all over the > arm64 code. They save the exact same purpose. Understood. Thanks for the quick feedback, guys!