#
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#

loops_by_fs = {
'Arch_createObject': {
 0xf0013fb8 : ( 0x800, 'InductiveBinSearch') ,
 0xf0013fec : ( 256, 'InductiveBinSearch') ,
 0xf0014060 : ( 256, 'InductiveBinSearch') ,
 0xf00140a0 : ( 512, 'InductiveBinSearch') ,
 0xf0014110 : ( 64, 'InductiveBinSearch') ,
 0xf0014150 : ( 0x2000, 'InductiveBinSearch') ,
 0xf00141c0 : ( 1024, 'InductiveBinSearch') ,
 0xf0014200 : ( 0, 'NaiveBinSearch') ,
 0xf001426c : ( 0, 'NaiveBinSearch') ,
 0xf00142ac : ( 0, 'NaiveBinSearch') ,
 0xf001431c : ( 0, 'NaiveBinSearch') ,
 0xf001435c : ( 128, 'InductiveBinSearch') ,
 0xf00143cc : ( 16, 'InductiveBinSearch') ,
},
'Arch_recycleCap': {
 0xf0013290 : ( 512, 'InductiveBinSearch') ,
 0xf00132bc : ( 0, 'NaiveBinSearch') ,
 0xf0013504 : ( 1920, 'InductiveBinSearch') ,
 0xf0013574 : ( 256, 'InductiveBinSearch') ,
 0xf00136e0 : ( 0x1fff, 'InductiveBinSearch') ,
 0xf0013754 : ( 1024, 'InductiveBinSearch') ,
 0xf00137d4 : ( 127, 'InductiveBinSearch') ,
 0xf0013848 : ( 16, 'InductiveBinSearch') ,
},
'Arch_sameRegionAs': {
 0xf0013d60 : ( 1, 'NaiveBinSearch') ,
},
'aepCancelAll': {
 0xf00179fc : ( 0x40000000, 'dummy: None') ,
},
'chooseThread': {
 0xf0017f80 : ( 128, 'InductiveBinSearch') ,
},
'cleanCacheRange_RAM': {
 0xf0012954 : ( 1024, 'InductiveBinSearch') ,
 0xf00129d0 : ( 1024, 'InductiveBinSearch') ,
},
'cleanInvalidateCacheRange_RAM': {
 0xf00127e0 : ( 1024, 'InductiveBinSearch') ,
 0xf001285c : ( 1024, 'InductiveBinSearch') ,
 0xf00128d0 : ( 1024, 'InductiveBinSearch') ,
},
'copyMRs': {
 0xf00194f4 : ( 4, 'NaiveBinSearch') ,
 0xf001957c : ( 57, 'InductiveBinSearch') ,
},
'createNewObjects': {
 0xf00164c0 : ( 0, 'NaiveBinSearch') ,
},
'createObject': {
 0xf0016304 : ( 0x1fff, 'InductiveBinSearch') ,
 0xf0016364 : ( 64, 'InductiveBinSearch') ,
},
'cteRevoke': {
 0xf0018bdc : ( 0x40000000, 'dummy: None') ,
},
'decodeARMMMUInvocation': {
 0xf00168bc : ( 1, 'NaiveBinSearch') ,
 0xf0016988 : ( 512, 'InductiveBinSearch') ,
 0xf0016a9c : ( 128, 'InductiveBinSearch') ,
},
'decodeUntypedInvocation': {
 0xf001b8a0 : ( 2, 'NaiveBinSearch') ,
},
'deleteASIDPool': {
 0xf0011d84 : ( 512, 'InductiveBinSearch') ,
},
'doFlush': {
 0xf0012c80 : ( 1024, 'InductiveBinSearch') ,
 0xf0012ce4 : ( 1024, 'InductiveBinSearch') ,
 0xf0012d30 : ( 1024, 'InductiveBinSearch') ,
},
'epCancelAll': {
 0xf00179a4 : ( 0x40000000, 'dummy: None') ,
},
'epCancelBadgedSends': {
 0xf0017b30 : ( 0x40000000, 'dummy: None') ,
},
'finaliseSlot': {
 0xf00188c0 : ( 0x40000000, 'dummy: None') ,
},
'findFreeHWASID': {
 0xf0011628 : ( 128, 'InductiveBinSearch') ,
},
'handleFaultReply': {
 0xf0010ff4 : ( 4, 'NaiveBinSearch') ,
 0xf0011048 : ( 16, 'InductiveBinSearch') ,
 0xf0011094 : ( 3, 'NaiveBinSearch') ,
},
'handleReply': {
 0xf001a238 : ( 1, 'NaiveBinSearch') ,
},
'invalidateCacheRange_RAM': {
 0xf0012b34 : ( 1024, 'InductiveBinSearch') ,
 0xf0012bb4 : ( 1024, 'InductiveBinSearch') ,
},
'invokeTCB_ReadRegisters': {
 0xf001b118 : ( 6, 'NaiveBinSearch') ,
},
'invokeTCB_WriteRegisters': {
 0xf001b240 : ( 16, 'InductiveBinSearch') ,
},
'lookupExtraCaps': {
 0xf0019444 : ( 1, 'NaiveBinSearch') ,
},
'lookupIPCBuffer': {
 0xf0010f54 : ( 1, 'NaiveBinSearch') ,
},
'performASIDControlInvocation': {
 0xf0014f28 : ( 512, 'InductiveBinSearch') ,
},
'performPageInvocationMapPDE': {
 0xf001232c : ( 16, 'InductiveBinSearch') ,
 0xf00123a8 : ( 1, 'NaiveBinSearch') ,
},
'performPageInvocationMapPTE': {
 0xf001220c : ( 16, 'InductiveBinSearch') ,
 0xf0012288 : ( 1, 'NaiveBinSearch') ,
},
'performPageInvocationRemapPDE': {
 0xf0012558 : ( 16, 'InductiveBinSearch') ,
 0xf00125d4 : ( 1, 'NaiveBinSearch') ,
},
'performPageInvocationRemapPTE': {
 0xf0012454 : ( 16, 'InductiveBinSearch') ,
 0xf00124d0 : ( 1, 'NaiveBinSearch') ,
},
'performPageTableInvocationUnmap': {
 0xf001201c : ( 127, 'InductiveBinSearch') ,
 0xf0012090 : ( 16, 'InductiveBinSearch') ,
},
'recycleCap': {
 0xf0017cb8 : ( 17, 'InductiveBinSearch') ,
},
'resolveAddressBits': {
 0xf0014784 : ( 33, 'dummy: None') ,
},
'unmapPage': {
 0xf0011a34 : ( 1, 'NaiveBinSearch') ,
 0xf0011bd8 : ( 1, 'NaiveBinSearch') ,
},
}