* good
db{0}> mach pte ffffc00001a0dffc
Stage1 EL0 translation ffffc00001a0dffc -> PAR_EL1 = 000000000000081f, S=0, PTW=0, FST=15 (fault)
Stage1 EL1 translation ffffc00001a0dffc -> PAR_EL1 = ff0000007eb69b80: ATTR=0xff, NS=1, SH=3, PA=000000007eb69ffc (no fault)
TTBR1=0000000041abc000, pa=0000000041abc000, va=0xffff000041abc000, input-va=ffffc00001a0dffc, L0-index=384, L1-index=0, L2-index=13, L3-index=13
L0[384]=0000000041ac0003: VALID L0-TABLE, PA=41ac0000
 L1[  0]=0000000041ac1003: VALID L1-TABLE, PA=41ac1000
  L2[ 13]=000000007eb59003: VALID L2-TABLE, PA=7eb59000
   L3[ 13]=02c000007eb69783: VALID L3(4K)-PAGE, PA=7eb69000, UXN, PX, G, accessible, SH_IS, RO, EL1, secure, WB, read, wired
PAGE 0xffff000043f87bc0:
  flags=0x41<CLEAN,FAKE>
  pqflags=0
  uobject=0x0, uanon=0x0, offset=0x1a0d000
  loan_count=0 wire_count=0 bucket=0 freelist=0
  pa=0x7eb69000
  page not busy, no owner
pp=0xffff000043f87c18
 pp flags=00000001 R--

* bad
db{0}> mach pte ffffc00001a0e000
Stage1 EL0 translation ffffc00001a0e000 -> PAR_EL1 = 0000000000000817, S=0, PTW=0, FST=11 (fault)
Stage1 EL1 translation ffffc00001a0e000 -> PAR_EL1 = 0000000000000817, S=0, PTW=0, FST=11 (fault)
TTBR1=0000000041abc000, pa=0000000041abc000, va=0xffff000041abc000, input-va=ffffc00001a0e000, L0-index=384, L1-index=0, L2-index=13, L3-index=14
L0[384]=0000000041ac0003: VALID L0-TABLE, PA=41ac0000
 L1[  0]=0000000041ac1003: VALID L1-TABLE, PA=41ac1000
  L2[ 13]=000000007eb59003: VALID L2-TABLE, PA=7eb59000
   L3[ 14]=02c000007ebde383: VALID L3(4K)-PAGE, PA=7ebde000, UXN, PX, G, **fault** , SH_IS, RO, EL1, secure, WB, read, wired
PAGE 0xffff000043f8c4e0:
  flags=0x41<CLEAN,FAKE>
  pqflags=0
  uobject=0x0, uanon=0x0, offset=0x1a0e000
  loan_count=0 wire_count=0 bucket=0 freelist=0
  pa=0x7ebde000
  page not busy, no owner
pp=0xffff000043f8c538
 pp flags=00000000 ---