Previous Up Next

Comparing the NON-ETS model and hardware

Invalid behaviours

Invalid behaviours are behaviours that are forbidden by the model and nevertheless observed on hardware. The following invalid behaviours can be explained by the hardware spontaneously updating the dirty bit, a feature which is now in discussion at ARM (see Section “Validating our model” in the paper).

There are 32 such tests
 ModelHardwareD06KyloGodel
LBNExpNExp+ExpNExpForbidOk, 3/7.1GNo, 0/2.9GOk, 3/3.8GNo, 0/320M
  Forbid invalidated Forbid invalidated 
LBNExpNExp+ExpNExp+BISForbidOk, 5/1.1GOk, 1/288MOk, 4/824M
  Forbid invalidatedForbid invalidatedForbid invalidated 
LBNExpNExp+ExpNExp2ForbidOk, 4/4.9GOk, 4/1.8GNo, 0/3.0GNo, 0/140M
  Forbid invalidatedForbid invalidated  
LBNExpNExp+ExpNExp2-BISForbidOk, 2/4.7GOk, 2/1.7GNo, 0/3.0G
  Forbid invalidatedForbid invalidated  
LBNExpNExp+ExpNExp2-BIS-2ForbidOk, 5/4.7GOk, 4/1.7GOk, 1/3.0G
  Forbid invalidatedForbid invalidatedForbid invalidated 
LBNExpNExp+ExpNExp2-BIS-3ForbidOk, 25/1.2GOk, 25/348MNo, 0/824M
  Forbid invalidatedForbid invalidated  
LBNExpNExp+ExpNExp5ForbidOk, 21/4.5GOk, 21/1.5GNo, 0/3.0G
  Forbid invalidatedForbid invalidated  
LBNExpNExp+ExpNExp6ForbidOk, 6/4.8GOk, 6/1.8GNo, 0/3.0G
  Forbid invalidatedForbid invalidated  
STRx+LDCLRptex+dbForbidOk, 363k/5.4GOk, 3/1.8GOk, 363k/3.3GNo, 0/300M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+LDR-STRptex+dbForbidOk, 15/5.2GOk, 15/2.2GNo, 0/3.0G
  Forbid invalidatedForbid invalidated  
STRx+LDR-STRptex+db2ForbidOk, 5/1.2GOk, 5/348MNo, 0/824M
  Forbid invalidatedForbid invalidated  
STRx+STCLRptex+dbForbidOk, 265k/5.7GOk, 2/2.2GOk, 265k/3.3GNo, 0/300M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+STCLRptex+db2ForbidOk, 2.1M/5.1GOk, 4/1.5GOk, 2.1M/3.3GNo, 0/300M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+STCLRptex+db4ForbidOk, 30k/2.2GOk, 10/463MOk, 30k/1.5GNo, 0/300M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+SWPptex+dbForbidOk, 822k/5.7GOk, 4/2.2GOk, 820k/3.3GOk, 2.4k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+SWPptex+db2ForbidOk, 188k/5.1GOk, 1/1.5GOk, 186k/3.3GOk, 2.2k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+SWPptex+db5ForbidOk, 65k/2.2GOk, 4/463MOk, 65k/1.5GNo, 0/300M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+SWPptex1ForbidOk, 78k/2.2GOk, 10/463MOk, 71k/1.5GOk, 7.1k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+SWPptex2ForbidOk, 214k/2.2GOk, 24/463MOk, 207k/1.5GOk, 7.1k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+SWPptexForbidForbidOk, 48k/2.5GOk, 3/526MOk, 48k/1.5GNo, 0/460M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+SWPptexForbid1ForbidOk, 338k/2.5GOk, 1/526MOk, 338k/1.5GNo, 0/460M
  Forbid invalidatedForbid invalidatedForbid invalidated 
STRx+SWPptexForbid2ForbidOk, 380k/3.3GOk, 6/751MOk, 380k/2.1GNo, 0/460M
  Forbid invalidatedForbid invalidatedForbid invalidated 
LBNExpNExp+ExpNExp3ForbidOk, 3/4.8GOk, 3/1.8GNo, 0/3.0G
  Forbid invalidatedForbid invalidated  
LBNExpNExp+ExpNExp4ForbidOk, 1/4.8GOk, 1/1.8GNo, 0/3.0G
  Forbid invalidatedForbid invalidated  
STRx+2LDSETptex+dbForbidOk, 1.7M/5.1GOk, 1/1.5GOk, 1.7M/3.3GOk, 29k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2LDSETptex+db2ForbidOk, 28k/2.2GOk, 2/463MOk, 13k/1.5GOk, 15k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2LDSETptex+db3ForbidOk, 55k/2.2GOk, 3/463MOk, 39k/1.5GOk, 15k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2SWPptex+dbForbidOk, 2.0M/5.0GOk, 1/1.5GOk, 1.9M/3.3GOk, 32k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2SWPptex+db2ForbidOk, 56k/2.2GOk, 2/463MOk, 42k/1.5GOk, 14k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2SWPptex+db3ForbidOk, 49k/2.2GOk, 5/463MOk, 36k/1.5GOk, 14k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2LDSETptex+db+TLBIForbidOk, 69k/4.7GOk, 18/1.5GOk, 62k/2.9GOk, 6.3k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated
STRx+2SWPptex+db+TLBIForbidOk, 96k/4.7GOk, 17/1.5GOk, 88k/2.9GOk, 7.7k/300M
  Forbid invalidatedForbid invalidatedForbid invalidatedForbid invalidated

Unseen behaviours

Unseen behaviours are behaviours that the mode predicts but are not observed. Having relatively few of them suggests both a realistic model and extensive experiments.

There are 230 such tests
 ModelHardwareCheillyD06Camtx2KyloVougeotGodelM1M2Chianti
I2V-W-DSB.LD-ISB-RAllowNo, 0/17GNo, 0/6.1GNo, 0/346MNo, 0/576MNo, 0/6.4GNo, 0/1.1GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
I2V-W-DSB.LD-ISB-WAllowNo, 0/17GNo, 0/6.1GNo, 0/346MNo, 0/576MNo, 0/6.4GNo, 0/1.1GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR+HA-DSB.LDAllowNo, 0/922MNo, 0/346MNo, 0/576M
  Allow unseen Allow unseen Allow unseen     
coRR+HA-DSB.STAllowNo, 0/922MNo, 0/346MNo, 0/576M
  Allow unseen Allow unseen Allow unseen     
coRWExpNExpAllowNo, 0/8.8GNo, 0/4.1GNo, 0/4.7G
  Allow unseen Allow unseen Allow unseen     
D15347-load-shootAllowNo, 0/51GNo, 0/16GNo, 0/4.5GNo, 0/1.6GNo, 0/4.9GNo, 0/20GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
D15347-load-shoot+VMALLAllowNo, 0/39GNo, 0/13GNo, 0/1.6GNo, 0/3.9GNo, 0/17GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
LDCLRptex-STRx+dbAllowNo, 0/6.4GNo, 0/2.2GNo, 0/4.2G
  Allow unseen Allow unseen Allow unseen     
LDCLRptex-STRx+db+BISAllowNo, 0/3.7GNo, 0/1.4GNo, 0/2.3G
  Allow unseen Allow unseen Allow unseen     
NikosAllowNo, 0/17GNo, 0/6.1GNo, 0/346MNo, 0/576MNo, 0/6.4GNo, 0/1.1GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
V2I-UP-DSB-TLBI-DSBAllowNo, 0/46GNo, 0/15GNo, 0/3.2GNo, 0/960MNo, 0/4.3GNo, 0/19GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
V2I-UP-DSB-TLBI-DSB+VMALLAllowNo, 0/38GNo, 0/12GNo, 0/1.6GNo, 0/3.9GNo, 0/17GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
V2I-W-DSB.LD-TLBI-DSB.ISH-ISB-RAllowNo, 0/17GNo, 0/6.1GNo, 0/346MNo, 0/576MNo, 0/6.4GNo, 0/1.1GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRmwWExpNExpAllowNo, 0/922MNo, 0/346MNo, 0/576M
  Allow unseen Allow unseen Allow unseen     
coWRExpNExp+DSB-TLBI-DSBAllowNo, 0/49GNo, 0/15GNo, 0/4.5GNo, 0/1.6GNo, 0/4.9GNo, 0/20GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coWRExpNExp+DSB-TLBI-DSB+VMALLAllowNo, 0/38GNo, 0/12GNo, 0/1.6GNo, 0/3.9GNo, 0/17GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coWWExp-TLBI-NExpAllowNo, 0/7.2GNo, 0/2.9GNo, 0/4.4G
  Allow unseen Allow unseen Allow unseen     
coWWExp-TLBI-NExp+VMALLAllowNo, 0/6.1GNo, 0/1.8GNo, 0/4.3G
  Allow unseen Allow unseen Allow unseen     
V2IAllowNo, 0/49GNo, 0/15GNo, 0/4.5GNo, 0/1.6GNo, 0/4.9GNo, 0/20GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
V2I+VMALLAllowNo, 0/38GNo, 0/12GNo, 0/1.6GNo, 0/3.9GNo, 0/17GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
VIS7+TLBIAllowNo, 0/49GNo, 0/15GNo, 0/4.5GNo, 0/1.6GNo, 0/4.9GNo, 0/20GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
VIS7+TLBI+VMALLAllowNo, 0/38GNo, 0/12GNo, 0/1.6GNo, 0/3.9GNo, 0/17GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
VIS7+TLBI2AllowNo, 0/36GNo, 0/10GNo, 0/1.6GNo, 0/3.9GNo, 0/17GNo, 0/1.3GNo, 0/192MNo, 0/1.9G
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
I2V-R-DSB.ST-ISB-R+WAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
I2V-R-DSB.ST-ISB-W+WAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
LDR-BY2PTE-1AllowNo, 0/2.1GNo, 0/694MNo, 0/1.4G
  Allow unseen Allow unseen Allow unseen     
LDRx+STRx-LDRptex+afAllowNo, 0/4.9GNo, 0/2.2GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
STRx+LDRx-ptex+afAllowNo, 0/4.9GNo, 0/2.2GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
STRx-LDRx-ptex+dbAllowNo, 0/4.9GNo, 0/2.2GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
coRR-pte8-dsbAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRRNExpNExpExp+DMB3AllowNo, 0/4.2GNo, 0/1.5GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
coRRNExpNExpExp+DMB8AllowNo, 0/4.2GNo, 0/1.5GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
coRRNExpNExpExp+DMB7AllowNo, 0/4.2GNo, 0/1.5GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
coRRNExpNExpExp+DSB2AllowNo, 0/5.2GNo, 0/2.3GNo, 0/2.9G
  Allow unseen Allow unseen Allow unseen     
coRRNExpNExpExp+DSB8AllowNo, 0/4.2GNo, 0/1.5GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
coRRNExpNExpExp+DSB5AllowNo, 0/4.2GNo, 0/1.5GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
coRRNExpNExpExp+DSB7AllowNo, 0/4.2GNo, 0/1.5GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
2+2WNExpExp+NExpNExp+DMBST+DMBSTAllowNo, 0/4.9GNo, 0/2.2GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
2+2WNExpExp+NExpNExp+DMBST+DMBST+SHOWAllowNo, 0/4.9GNo, 0/2.2GNo, 0/2.7G
  Allow unseen Allow unseen Allow unseen     
F2+DSB-ETSAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Jeff1AllowNo, 0/11GNo, 0/3.0GNo, 0/233MNo, 0/256MNo, 0/5.8GNo, 0/660MNo, 0/96MNo, 0/790M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Jeff1+64AllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/556MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
LDR-BY2PTE-0-LLSCAllowNo, 0/1.6GNo, 0/578MNo, 0/1.0G
  Allow unseen Allow unseen Allow unseen     
MP+HA-DSB.LDAllowNo, 0/461MNo, 0/173MNo, 0/288M
  Allow unseen Allow unseen Allow unseen     
MP+HA-DSB.STAllowNo, 0/461MNo, 0/173MNo, 0/288M
  Allow unseen Allow unseen Allow unseen     
MP+HD-DSB.LDAllowNo, 0/461MNo, 0/173MNo, 0/288M
  Allow unseen Allow unseen Allow unseen     
MP+HD-DSB.STAllowNo, 0/461MNo, 0/173MNo, 0/288M
  Allow unseen Allow unseen Allow unseen     
NT-10-addr+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-10-ctrl+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-10-data+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-10-dmb+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-10-dmb+dsb-isbAllowNo, 0/734MNo, 0/230MNo, 0/504M
  Allow unseen Allow unseen Allow unseen     
NT-10-dmbld+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-10-dsb+dmbld-isbAllowNo, 0/734MNo, 0/230MNo, 0/504M
  Allow unseen Allow unseen Allow unseen     
NT-10-dsb+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-10-dsbld+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-addrAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-addr-allhaAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-addr+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-addr-allha+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-ctrlAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-ctrl-allhaAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-ctrl+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-ctrl-allha+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dataAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-data-allhaAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-data+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-data-allha+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmb-allhaAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmb+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmb-allha+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmbldAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmbld-allhaAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmbld+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmbld-allha+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dsbldAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dsbld-allhaAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dsbld+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dsbld-allha+dsbAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-13-dmbAllowNo, 0/734MNo, 0/230MNo, 0/504M
  Allow unseen Allow unseen Allow unseen     
R3+W+32AllowNo, 0/7.3GNo, 0/2.8GNo, 0/163MNo, 0/212MNo, 0/2.8GNo, 0/556MNo, 0/96MNo, 0/790M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R3-DSBs+W+32AllowNo, 0/7.3GNo, 0/2.8GNo, 0/163MNo, 0/212MNo, 0/2.8GNo, 0/556MNo, 0/96MNo, 0/790M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
RW+RR-DSB+DSB+WREGAllowNo, 0/1.4GNo, 0/463MNo, 0/896M
  Allow unseen Allow unseen Allow unseen     
RW+RRpte-DMBLD+DMBLDAllowNo, 0/1.4GNo, 0/463MNo, 0/896M
  Allow unseen Allow unseen Allow unseen     
RW+RRpte-DMBLD+DSBAllowNo, 0/1.4GNo, 0/463MNo, 0/896M
  Allow unseen Allow unseen Allow unseen     
RW+RRpte-addr+DMBLDAllowNo, 0/1.4GNo, 0/463MNo, 0/896M
  Allow unseen Allow unseen Allow unseen     
V2I-R-DSB.ST-TLBI-DSB.ISH-ISB-R+WAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR-pte6AllowNo, 0/34GNo, 0/11GNo, 0/2.8GNo, 0/780MNo, 0/3.0GNo, 0/15GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR-pte6+VMALLAllowNo, 0/28GNo, 0/9.0GNo, 0/1.4GNo, 0/2.5GNo, 0/14GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRRExpNExp+DSB-TLBI-DSBAllowNo, 0/34GNo, 0/11GNo, 0/2.8GNo, 0/780MNo, 0/3.0GNo, 0/15GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRRExpNExp+DSB-TLBI-DSB+VMALLAllowNo, 0/28GNo, 0/9.0GNo, 0/1.4GNo, 0/2.5GNo, 0/14GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRRExpNExp+DSB-TLBI-DSB2AllowNo, 0/34GNo, 0/11GNo, 0/2.8GNo, 0/780MNo, 0/3.0GNo, 0/15GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRRExpNExp+DSB-TLBI-DSB2+VMALLAllowNo, 0/28GNo, 0/9.0GNo, 0/1.4GNo, 0/2.5GNo, 0/14GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRRExpNExp+DSB.ST-TLBI-DSB-ISBAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
CASAL+FAILAllowNo, 0/1.1GNo, 0/173MNo, 0/288MNo, 0/560MNo, 0/96M
  Allow unseen Allow unseen Allow unseen  Allow unseenAllow unseen 
D15347-M-load-shoot+addrAllowNo, 0/10GNo, 0/2.1GNo, 0/634MNo, 0/392MNo, 0/4.5GNo, 0/160MNo, 0/820MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
D15347-M-load-shoot+ctrlAllowNo, 0/10GNo, 0/2.1GNo, 0/634MNo, 0/392MNo, 0/4.5GNo, 0/160MNo, 0/820MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
D15347-M-load-shoot+poAllowNo, 0/9.4GNo, 0/2.1GNo, 0/634MNo, 0/392MNo, 0/4.2GNo, 0/160MNo, 0/820MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
D15347-M-load-shoot+po+AFAllowNo, 0/8.7GNo, 0/1.8GNo, 0/634MNo, 0/392MNo, 0/3.8GNo, 0/160MNo, 0/820MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen
D15347-M-load-shoot-noscope+DMB.LDAllowNo, 0/9.0GNo, 0/2.4GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
D15347-M-store-shoot+DMB.STAllowNo, 0/35GNo, 0/11GNo, 0/2.8GNo, 0/780MNo, 0/3.0GNo, 0/15GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
D15347-M-store-shoot+DMB.ST+VMALLAllowNo, 0/29GNo, 0/10GNo, 0/1.4GNo, 0/2.5GNo, 0/14GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
F1e+FatalAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/556MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
F1e+HandledAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/556MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
F2AllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
F2VAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
F5AllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
FFAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
FJAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
FKAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/556MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
FLAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+DSB.ST+acq-TLBI-DSBAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+DSB.ST+addr-TLBI-DSBAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+DSB.ST+DSB.LD-TLBI-DSBAllowNo, 0/15GNo, 0/3.7GNo, 0/749MNo, 0/1.9GNo, 0/7.0GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+dmb.st+dsb.st-tlbi-dsb-isbAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+rel+DSB.LD-TLBI-DSBAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+shoot+poAllowNo, 0/34GNo, 0/11GNo, 0/2.7GNo, 0/780MNo, 0/3.0GNo, 0/15GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseenAllow unseenAllow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+shoot+po+VMALLAllowNo, 0/28GNo, 0/9.0GNo, 0/1.4GNo, 0/2.5GNo, 0/14GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
NT-01-addrAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-01-ctrlAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-01-dataAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-12-dmb-allha-variant1-LLSCAllowNo, 0/1.6GNo, 0/521MNo, 0/1.0G
  Allow unseen Allow unseen Allow unseen     
S+dmb.st+dsb.ld-tlbi-dsb-isbAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
TwoPhantomsAllowNo, 0/1.3GNo, 0/463MNo, 0/824M
  Allow unseen Allow unseen Allow unseen     
V2I-W-DSB.ISH-TLBI-DSB.ISH-R+WRAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
V2I-W-DSB.ISH-TLBI-DSB.ISH-W+RRAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/560MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR-pte9-noscopeAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/660MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
2+2W+TLBI+OA+01AllowNo, 0/6.5GNo, 0/1.4GNo, 0/58MNo, 0/72MNo, 0/3.2GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
2+2W+TLBI+VaToInv+01AllowNo, 0/6.5GNo, 0/1.4GNo, 0/58MNo, 0/72MNo, 0/3.2GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
CoRR+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
CoRW2+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
F1c+FatalAllowNo, 0/1.1GNo, 0/173MNo, 0/288MNo, 0/560MNo, 0/96M
  Allow unseen Allow unseen Allow unseen  Allow unseenAllow unseen 
F1c+HandledAllowNo, 0/1.1GNo, 0/173MNo, 0/288MNo, 0/560MNo, 0/96M
  Allow unseen Allow unseen Allow unseen  Allow unseenAllow unseen 
F1d+FatalAllowNo, 0/1.1GNo, 0/173MNo, 0/288MNo, 0/556MNo, 0/96M
  Allow unseen Allow unseen Allow unseen  Allow unseenAllow unseen 
F1d+HandledAllowNo, 0/1.1GNo, 0/173MNo, 0/288MNo, 0/556MNo, 0/96M
  Allow unseen Allow unseen Allow unseen  Allow unseenAllow unseen 
MP+posWppteva-tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
NT-00-addrAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-00-ctrlAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-00-dataAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-02-addrAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-02-ctrlAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-02-dataAllowNo, 0/3.2GNo, 0/1.3GNo, 0/1.9G
  Allow unseen Allow unseen Allow unseen     
NT-20-addr+dsbAllowNo, 0/3.0GNo, 0/1.2GNo, 0/1.8G
  Allow unseen Allow unseen Allow unseen     
NT-20-ctrl+dsbAllowNo, 0/3.0GNo, 0/1.2GNo, 0/1.8G
  Allow unseen Allow unseen Allow unseen     
NT-20-data+dsbAllowNo, 0/3.0GNo, 0/1.2GNo, 0/1.8G
  Allow unseen Allow unseen Allow unseen     
NT-20-dmb+dsbAllowNo, 0/3.0GNo, 0/1.2GNo, 0/1.8G
  Allow unseen Allow unseen Allow unseen     
NT-20-dmbld+dsbAllowNo, 0/3.0GNo, 0/1.2GNo, 0/1.8G
  Allow unseen Allow unseen Allow unseen     
NT-20-dsbld+dsbAllowNo, 0/3.0GNo, 0/1.2GNo, 0/1.8G
  Allow unseen Allow unseen Allow unseen     
R+pos+tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+pos+tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+posWppteva-tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+tlbi-sync.ishsWptevapteoa.va-isbspteoa.vap+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+tlbi-sync.ishsWptevapteoa.va-pospteoa.vap+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
S+posWppteva-tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
S+tlbi-sync.ishsWptevapteoa.va-isbspteoa.vap+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
S+tlbi-sync.ishsWptevapteoa.va-pospteoa.vap+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
SB+pos+tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
LB+pos+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
LB+pos+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+pos+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+pos+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vap+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vap+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+tlbi-sync.ishsWptevapteoa.va-isbsRpteoa.vap-pos+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+tlbi-sync.ishsWptevapteoa.va-isbsWpteoa.vap-pos+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+pos+tlbi-sync.ishsWptevapteoa.va-isbsRpteoa.vap-posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+tlbi-sync.ishsWptevapteoa.va-isbsRpteoa.vap-pos+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
S+tlbi-sync.ishsWptevapteoa.va-isbsRpteoa.vap-pos+posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
SB+pos+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
SB+pos+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
SB+pos+tlbi-sync.ishsWptevapteoa.va-isbsWpteoa.vap-posAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+tlbi-sync.ishsptevapteoa.va+tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
2+2W+tlbi-sync.ishsptevapteoa.va+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
2+2W+tlbi-sync.ishsptevapteoa.va+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+tlbi-sync.ishsptevapteoa.va+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+tlbi-sync.ishsptevapteoa.va+posWppteva-tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
R+tlbi-sync.ishsptevapteoa.va+posWppteva-tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/8.4GNo, 0/1.8GNo, 0/173MNo, 0/288MNo, 0/4.5GNo, 0/656MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
MP+dmb.st+eretAllowNo, 0/8.3GNo, 0/3.0GNo, 0/173MNo, 0/288MNo, 0/3.2GNo, 0/556MNo, 0/96MNo, 0/950M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+R+WR+pospteafp-[dsb.ish]-[isb]+PteAFPteAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+R+WW+pospteafp-[dsb.ish]-[isb]+PteAFPteAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+R+WW+posptevap-[dsb.ish]-[isb]+PteVAPteAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WR+pospteafp-[dsb.ish]-[isb]+PteAFPteOAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WR+pospteafp-[dsb.ish]-[isb]+PteOAPteAFAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WR+pospteoap-[dsb.ish]-[isb]+PteAFPteAFAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WR+pospteoap-[dsb.ish]-[isb]+PteVAPteVAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WR+posptevap-[dsb.ish]-[isb]+PteOAPteVAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WR+posptevap-[dsb.ish]-[isb]+PteVAPteOAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WW+pospteafp-[dsb.ish]-[isb]+PteAFPteOAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WW+pospteafp-[dsb.ish]-[isb]+PteOAPteAFAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WW+pospteoap-[dsb.ish]-[isb]+PteAFPteAFAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WW+pospteoap-[dsb.ish]-[isb]+PteVAPteVAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WW+posptevap-[dsb.ish]-[isb]+PteOAPteVAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+W+WW+posptevap-[dsb.ish]-[isb]+PteVAPteOAAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRR+2W+pos+tlbi-sync.ishsptevapteoa.vaAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRW+2W+pos+tlbi-sync.ishsptevapteoa.vaAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR-pte15AllowNo, 0/14GNo, 0/3.7GNo, 0/830MNo, 0/1.2GNo, 0/6.9GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
ISA2+tlbi-sync.ishsptevapteoa.va+pos+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
RWC+pos+tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
RWC+pos+tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
W+RWC+tlbi-sync.ishsptevapteoa.va+pos+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRC+posWppteva-tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRR+2W+pos+posWppteva-tlbi-sync.ishsptevapteoa.vaAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRR+2W+pos+tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRR+2W+pos+tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRW+WR+pos+tlbi-sync.ishsWptevapteoa.va-isbspteoa.vapAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRW+WR+pos+tlbi-sync.ishsWptevapteoa.va-pospteoa.vapAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WRW+WR+posWppteva-tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WWC+pos+posWppteva-tlbi-sync.ishsptevapteoa.vaAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
WWC+posWppteva-tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Z6.0+tlbi-sync.ishsptevapteoa.va+pos+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Z6.2+tlbi-sync.ishsptevapteoa.va+pos+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Z6.3+pos+tlbi-sync.ishsptevapteoa.va+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Z6.3+tlbi-sync.ishsptevapteoa.va+pos+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Z6.4+tlbi-sync.ishsptevapteoa.va+pos+posAllowNo, 0/4.2GNo, 0/880MNo, 0/102MNo, 0/144MNo, 0/2.2GNo, 0/344MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR+W-DSB-TLBI-DSB+ob-WAllowNo, 0/4.2GNo, 0/1.5GNo, 0/113MNo, 0/144MNo, 0/1.6GNo, 0/278MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR+W-DSB-TLBI-DSB-HU+rfe-WAllowNo, 0/257MNo, 0/113MNo, 0/144M
  Allow unseen Allow unseen Allow unseen     
MP+dmb.sy+addr-store-pos-addr+WAllowNo, 0/4.2GNo, 0/1.5GNo, 0/113MNo, 0/144MNo, 0/1.6GNo, 0/280MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Marc02AllowNo, 0/12GNo, 0/2.8GNo, 0/587MNo, 0/1.1GNo, 0/6.9GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
Marc02+DSBAllowNo, 0/12GNo, 0/2.8GNo, 0/587MNo, 0/1.1GNo, 0/6.9GNo, 0/346MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-I2IpteAllowNo, 0/4.4GNo, 0/1.2GNo, 0/80MNo, 0/128MNo, 0/2.2GNo, 0/314MNo, 0/48MNo, 0/395M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-I2Ipte+64AllowNo, 0/4.2GNo, 0/1.5GNo, 0/86MNo, 0/144MNo, 0/1.6GNo, 0/278MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-I2VpteAllowNo, 0/4.4GNo, 0/1.2GNo, 0/80MNo, 0/128MNo, 0/2.2GNo, 0/314MNo, 0/48MNo, 0/395M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-I2Vpte+64AllowNo, 0/4.2GNo, 0/1.5GNo, 0/86MNo, 0/144MNo, 0/1.6GNo, 0/278MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-V2IpteAllowNo, 0/4.4GNo, 0/1.2GNo, 0/80MNo, 0/128MNo, 0/2.2GNo, 0/314MNo, 0/48MNo, 0/395M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-V2Ipte+64AllowNo, 0/4.2GNo, 0/1.5GNo, 0/86MNo, 0/144MNo, 0/1.6GNo, 0/278MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-V2VpteAllowNo, 0/4.4GNo, 0/1.2GNo, 0/80MNo, 0/128MNo, 0/2.2GNo, 0/314MNo, 0/48MNo, 0/395M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
IRIW-V2Vpte+64AllowNo, 0/4.2GNo, 0/1.5GNo, 0/86MNo, 0/144MNo, 0/1.6GNo, 0/278MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
VW+VW+VW+3RAllowNo, 0/4.2GNo, 0/880MNo, 0/80MNo, 0/144MNo, 0/2.2GNo, 0/314MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen
coRR-pte9-obAllowNo, 0/4.2GNo, 0/1.5GNo, 0/86MNo, 0/144MNo, 0/1.6GNo, 0/280MNo, 0/48MNo, 0/475M
  Allow unseenAllow unseenAllow unseen Allow unseenAllow unseen Allow unseenAllow unseenAllow unseen

Previous Up Next