Hi Mark. > On Wed, Jun 11, 2025 at 02:58:11PM +0100, Yeoreum Yun wrote: > > > * The architecture specifies that bits 63:60 of FAR_EL1 are UNKNOWN > > * for tag check faults. Set them to corresponding bits in the untagged > > - * address. > > + * address if ARM64_MTE_FAR isn't supported. > > + * Otherwise, bits 63:60 of FAR_EL1 are KNOWN. > > */ > > Should that be "are UNKNOWN"? Otherwise in here mentions the case when ARM64_MTE_FAR is supported, So the bits 63:60 of FAR_EL1 are "not UNKNOWN" but I write it with KNOWN. Do you want to change this to "not UNKNOWN"? or Am I missing something? -- Sincerely, Yeoreum Yun