1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: BSD-2-Clause
5#
6
7loops_by_fs = {
8'Arch_createObject': {
9 0xf0013fb8 : ( 0x800, 'InductiveBinSearch') ,
10 0xf0013fec : ( 256, 'InductiveBinSearch') ,
11 0xf0014060 : ( 256, 'InductiveBinSearch') ,
12 0xf00140a0 : ( 512, 'InductiveBinSearch') ,
13 0xf0014110 : ( 64, 'InductiveBinSearch') ,
14 0xf0014150 : ( 0x2000, 'InductiveBinSearch') ,
15 0xf00141c0 : ( 1024, 'InductiveBinSearch') ,
16 0xf0014200 : ( 0, 'NaiveBinSearch') ,
17 0xf001426c : ( 0, 'NaiveBinSearch') ,
18 0xf00142ac : ( 0, 'NaiveBinSearch') ,
19 0xf001431c : ( 0, 'NaiveBinSearch') ,
20 0xf001435c : ( 128, 'InductiveBinSearch') ,
21 0xf00143cc : ( 16, 'InductiveBinSearch') ,
22},
23'Arch_recycleCap': {
24 0xf0013290 : ( 512, 'InductiveBinSearch') ,
25 0xf00132bc : ( 0, 'NaiveBinSearch') ,
26 0xf0013504 : ( 1920, 'InductiveBinSearch') ,
27 0xf0013574 : ( 256, 'InductiveBinSearch') ,
28 0xf00136e0 : ( 0x1fff, 'InductiveBinSearch') ,
29 0xf0013754 : ( 1024, 'InductiveBinSearch') ,
30 0xf00137d4 : ( 127, 'InductiveBinSearch') ,
31 0xf0013848 : ( 16, 'InductiveBinSearch') ,
32},
33'Arch_sameRegionAs': {
34 0xf0013d60 : ( 1, 'NaiveBinSearch') ,
35},
36'aepCancelAll': {
37 0xf00179fc : ( 0x40000000, 'dummy: None') ,
38},
39'chooseThread': {
40 0xf0017f80 : ( 128, 'InductiveBinSearch') ,
41},
42'cleanCacheRange_RAM': {
43 0xf0012954 : ( 1024, 'InductiveBinSearch') ,
44 0xf00129d0 : ( 1024, 'InductiveBinSearch') ,
45},
46'cleanInvalidateCacheRange_RAM': {
47 0xf00127e0 : ( 1024, 'InductiveBinSearch') ,
48 0xf001285c : ( 1024, 'InductiveBinSearch') ,
49 0xf00128d0 : ( 1024, 'InductiveBinSearch') ,
50},
51'copyMRs': {
52 0xf00194f4 : ( 4, 'NaiveBinSearch') ,
53 0xf001957c : ( 57, 'InductiveBinSearch') ,
54},
55'createNewObjects': {
56 0xf00164c0 : ( 0, 'NaiveBinSearch') ,
57},
58'createObject': {
59 0xf0016304 : ( 0x1fff, 'InductiveBinSearch') ,
60 0xf0016364 : ( 64, 'InductiveBinSearch') ,
61},
62'cteRevoke': {
63 0xf0018bdc : ( 0x40000000, 'dummy: None') ,
64},
65'decodeARMMMUInvocation': {
66 0xf00168bc : ( 1, 'NaiveBinSearch') ,
67 0xf0016988 : ( 512, 'InductiveBinSearch') ,
68 0xf0016a9c : ( 128, 'InductiveBinSearch') ,
69},
70'decodeUntypedInvocation': {
71 0xf001b8a0 : ( 2, 'NaiveBinSearch') ,
72},
73'deleteASIDPool': {
74 0xf0011d84 : ( 512, 'InductiveBinSearch') ,
75},
76'doFlush': {
77 0xf0012c80 : ( 1024, 'InductiveBinSearch') ,
78 0xf0012ce4 : ( 1024, 'InductiveBinSearch') ,
79 0xf0012d30 : ( 1024, 'InductiveBinSearch') ,
80},
81'epCancelAll': {
82 0xf00179a4 : ( 0x40000000, 'dummy: None') ,
83},
84'epCancelBadgedSends': {
85 0xf0017b30 : ( 0x40000000, 'dummy: None') ,
86},
87'finaliseSlot': {
88 0xf00188c0 : ( 0x40000000, 'dummy: None') ,
89},
90'findFreeHWASID': {
91 0xf0011628 : ( 128, 'InductiveBinSearch') ,
92},
93'handleFaultReply': {
94 0xf0010ff4 : ( 4, 'NaiveBinSearch') ,
95 0xf0011048 : ( 16, 'InductiveBinSearch') ,
96 0xf0011094 : ( 3, 'NaiveBinSearch') ,
97},
98'handleReply': {
99 0xf001a238 : ( 1, 'NaiveBinSearch') ,
100},
101'invalidateCacheRange_RAM': {
102 0xf0012b34 : ( 1024, 'InductiveBinSearch') ,
103 0xf0012bb4 : ( 1024, 'InductiveBinSearch') ,
104},
105'invokeTCB_ReadRegisters': {
106 0xf001b118 : ( 6, 'NaiveBinSearch') ,
107},
108'invokeTCB_WriteRegisters': {
109 0xf001b240 : ( 16, 'InductiveBinSearch') ,
110},
111'lookupExtraCaps': {
112 0xf0019444 : ( 1, 'NaiveBinSearch') ,
113},
114'lookupIPCBuffer': {
115 0xf0010f54 : ( 1, 'NaiveBinSearch') ,
116},
117'performASIDControlInvocation': {
118 0xf0014f28 : ( 512, 'InductiveBinSearch') ,
119},
120'performPageInvocationMapPDE': {
121 0xf001232c : ( 16, 'InductiveBinSearch') ,
122 0xf00123a8 : ( 1, 'NaiveBinSearch') ,
123},
124'performPageInvocationMapPTE': {
125 0xf001220c : ( 16, 'InductiveBinSearch') ,
126 0xf0012288 : ( 1, 'NaiveBinSearch') ,
127},
128'performPageInvocationRemapPDE': {
129 0xf0012558 : ( 16, 'InductiveBinSearch') ,
130 0xf00125d4 : ( 1, 'NaiveBinSearch') ,
131},
132'performPageInvocationRemapPTE': {
133 0xf0012454 : ( 16, 'InductiveBinSearch') ,
134 0xf00124d0 : ( 1, 'NaiveBinSearch') ,
135},
136'performPageTableInvocationUnmap': {
137 0xf001201c : ( 127, 'InductiveBinSearch') ,
138 0xf0012090 : ( 16, 'InductiveBinSearch') ,
139},
140'recycleCap': {
141 0xf0017cb8 : ( 17, 'InductiveBinSearch') ,
142},
143'resolveAddressBits': {
144 0xf0014784 : ( 33, 'dummy: None') ,
145},
146'unmapPage': {
147 0xf0011a34 : ( 1, 'NaiveBinSearch') ,
148 0xf0011bd8 : ( 1, 'NaiveBinSearch') ,
149},
150}
151