stage2_lookup.cc (12429:beefb9f5f551) stage2_lookup.cc (12734:eb97b1a80c5c)
1/*
2 * Copyright (c) 2010-2013, 2016 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Redistribution and use in source and binary forms, with or without
15 * modification, are permitted provided that the following conditions are
16 * met: redistributions of source code must retain the above copyright
17 * notice, this list of conditions and the following disclaimer;
18 * redistributions in binary form must reproduce the above copyright
19 * notice, this list of conditions and the following disclaimer in the
20 * documentation and/or other materials provided with the distribution;
21 * neither the name of the copyright holders nor the names of its
22 * contributors may be used to endorse or promote products derived from
23 * this software without specific prior written permission.
24 *
25 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
26 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
27 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
28 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
29 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
30 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
31 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
32 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
33 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
34 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
35 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 *
37 * Authors: Ali Saidi
38 * Giacomo Gabrielli
39 */
40
41#include "arch/arm/stage2_lookup.hh"
42
43#include "arch/arm/faults.hh"
44#include "arch/arm/system.hh"
45#include "arch/arm/table_walker.hh"
46#include "arch/arm/tlb.hh"
47#include "cpu/base.hh"
48#include "cpu/thread_context.hh"
49#include "debug/Checkpoint.hh"
50#include "debug/TLB.hh"
51#include "debug/TLBVerbose.hh"
52#include "sim/system.hh"
53
54using namespace ArmISA;
55
56Fault
57Stage2LookUp::getTe(ThreadContext *tc, TlbEntry *destTe)
58
59{
60 fault = stage2Tlb->getTE(&stage2Te, &req, tc, mode, this, timing,
61 functional, false, tranType);
62 // Call finish if we're done already
63 if ((fault != NoFault) || (stage2Te != NULL)) {
64 // Since we directly requested the table entry (which we need later on
65 // to merge the attributes) then we've skipped some stage2 permissions
66 // checking. So call translate on stage 2 to do the checking. As the
67 // entry is now in the TLB this should always hit the cache.
68 if (fault == NoFault) {
69 if (inAArch64(tc))
70 fault = stage2Tlb->checkPermissions64(stage2Te, &req, mode, tc);
71 else
72 fault = stage2Tlb->checkPermissions(stage2Te, &req, mode);
73 }
74
75 mergeTe(&req, mode);
76 *destTe = stage1Te;
77 }
78 return fault;
79}
80
81void
82Stage2LookUp::mergeTe(RequestPtr req, BaseTLB::Mode mode)
83{
84 // Check again that we haven't got a fault
85 if (fault == NoFault) {
86 assert(stage2Te != NULL);
87
88 // Now we have the table entries for both stages of translation
89 // merge them and insert the result into the stage 1 TLB. See
90 // CombineS1S2Desc() in pseudocode
1/*
2 * Copyright (c) 2010-2013, 2016 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Redistribution and use in source and binary forms, with or without
15 * modification, are permitted provided that the following conditions are
16 * met: redistributions of source code must retain the above copyright
17 * notice, this list of conditions and the following disclaimer;
18 * redistributions in binary form must reproduce the above copyright
19 * notice, this list of conditions and the following disclaimer in the
20 * documentation and/or other materials provided with the distribution;
21 * neither the name of the copyright holders nor the names of its
22 * contributors may be used to endorse or promote products derived from
23 * this software without specific prior written permission.
24 *
25 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
26 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
27 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
28 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
29 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
30 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
31 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
32 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
33 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
34 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
35 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 *
37 * Authors: Ali Saidi
38 * Giacomo Gabrielli
39 */
40
41#include "arch/arm/stage2_lookup.hh"
42
43#include "arch/arm/faults.hh"
44#include "arch/arm/system.hh"
45#include "arch/arm/table_walker.hh"
46#include "arch/arm/tlb.hh"
47#include "cpu/base.hh"
48#include "cpu/thread_context.hh"
49#include "debug/Checkpoint.hh"
50#include "debug/TLB.hh"
51#include "debug/TLBVerbose.hh"
52#include "sim/system.hh"
53
54using namespace ArmISA;
55
56Fault
57Stage2LookUp::getTe(ThreadContext *tc, TlbEntry *destTe)
58
59{
60 fault = stage2Tlb->getTE(&stage2Te, &req, tc, mode, this, timing,
61 functional, false, tranType);
62 // Call finish if we're done already
63 if ((fault != NoFault) || (stage2Te != NULL)) {
64 // Since we directly requested the table entry (which we need later on
65 // to merge the attributes) then we've skipped some stage2 permissions
66 // checking. So call translate on stage 2 to do the checking. As the
67 // entry is now in the TLB this should always hit the cache.
68 if (fault == NoFault) {
69 if (inAArch64(tc))
70 fault = stage2Tlb->checkPermissions64(stage2Te, &req, mode, tc);
71 else
72 fault = stage2Tlb->checkPermissions(stage2Te, &req, mode);
73 }
74
75 mergeTe(&req, mode);
76 *destTe = stage1Te;
77 }
78 return fault;
79}
80
81void
82Stage2LookUp::mergeTe(RequestPtr req, BaseTLB::Mode mode)
83{
84 // Check again that we haven't got a fault
85 if (fault == NoFault) {
86 assert(stage2Te != NULL);
87
88 // Now we have the table entries for both stages of translation
89 // merge them and insert the result into the stage 1 TLB. See
90 // CombineS1S2Desc() in pseudocode
91 stage1Te.N = stage2Te->N;
92 stage1Te.nonCacheable |= stage2Te->nonCacheable;
93 stage1Te.xn |= stage2Te->xn;
94
95 if (stage1Te.size > stage2Te->size) {
96 // Size mismatch also implies vpn mismatch (this is shifted by
97 // sizebits!).
91 stage1Te.nonCacheable |= stage2Te->nonCacheable;
92 stage1Te.xn |= stage2Te->xn;
93
94 if (stage1Te.size > stage2Te->size) {
95 // Size mismatch also implies vpn mismatch (this is shifted by
96 // sizebits!).
98 stage1Te.vpn = s1Req->getVaddr() / (stage2Te->size+1);
97 stage1Te.vpn = s1Req->getVaddr() >> stage2Te->N;
99 stage1Te.pfn = stage2Te->pfn;
100 stage1Te.size = stage2Te->size;
98 stage1Te.pfn = stage2Te->pfn;
99 stage1Te.size = stage2Te->size;
100 stage1Te.N = stage2Te->N;
101 } else if (stage1Te.size < stage2Te->size) {
102 // Guest 4K could well be section-backed by host hugepage! In this
103 // case a 4K entry is added but pfn needs to be adjusted. New PFN =
104 // offset into section PFN given by stage2 IPA treated as a stage1
105 // page size.
101 } else if (stage1Te.size < stage2Te->size) {
102 // Guest 4K could well be section-backed by host hugepage! In this
103 // case a 4K entry is added but pfn needs to be adjusted. New PFN =
104 // offset into section PFN given by stage2 IPA treated as a stage1
105 // page size.
106 stage1Te.pfn = (stage2Te->pfn * ((stage2Te->size+1) / (stage1Te.size+1))) +
107 (stage2Te->vpn / (stage1Te.size+1));
106 const Addr pa = (stage2Te->pfn << stage2Te->N);
107 const Addr ipa = (stage1Te.pfn << stage1Te.N);
108 stage1Te.pfn = (pa | (ipa & mask(stage2Te->N))) >> stage1Te.N;
108 // Size remains smaller of the two.
109 } else {
110 // Matching sizes
111 stage1Te.pfn = stage2Te->pfn;
112 }
113
114 if (stage2Te->mtype == TlbEntry::MemoryType::StronglyOrdered ||
115 stage1Te.mtype == TlbEntry::MemoryType::StronglyOrdered) {
116 stage1Te.mtype = TlbEntry::MemoryType::StronglyOrdered;
117 } else if (stage2Te->mtype == TlbEntry::MemoryType::Device ||
118 stage1Te.mtype == TlbEntry::MemoryType::Device) {
119 stage1Te.mtype = TlbEntry::MemoryType::Device;
120 } else {
121 stage1Te.mtype = TlbEntry::MemoryType::Normal;
122 }
123
124 if (stage1Te.mtype == TlbEntry::MemoryType::Normal) {
125
126 if (stage2Te->innerAttrs == 0 ||
127 stage1Te.innerAttrs == 0) {
128 // either encoding Non-cacheable
129 stage1Te.innerAttrs = 0;
130 } else if (stage2Te->innerAttrs == 2 ||
131 stage1Te.innerAttrs == 2) {
132 // either encoding Write-Through cacheable
133 stage1Te.innerAttrs = 2;
134 } else {
135 // both encodings Write-Back
136 stage1Te.innerAttrs = 3;
137 }
138
139 if (stage2Te->outerAttrs == 0 ||
140 stage1Te.outerAttrs == 0) {
141 // either encoding Non-cacheable
142 stage1Te.outerAttrs = 0;
143 } else if (stage2Te->outerAttrs == 2 ||
144 stage1Te.outerAttrs == 2) {
145 // either encoding Write-Through cacheable
146 stage1Te.outerAttrs = 2;
147 } else {
148 // both encodings Write-Back
149 stage1Te.outerAttrs = 3;
150 }
151
152 stage1Te.shareable |= stage2Te->shareable;
153 stage1Te.outerShareable |= stage2Te->outerShareable;
154 if (stage1Te.innerAttrs == 0 &&
155 stage1Te.outerAttrs == 0) {
156 // something Non-cacheable at each level is outer shareable
157 stage1Te.shareable = true;
158 stage1Te.outerShareable = true;
159 }
160 } else {
161 stage1Te.shareable = true;
162 stage1Te.outerShareable = true;
163 }
164 stage1Te.updateAttributes();
165 }
166
167 // if there's a fault annotate it,
168 if (fault != NoFault) {
169 // If the second stage of translation generated a fault add the
170 // details of the original stage 1 virtual address
171 reinterpret_cast<ArmFault *>(fault.get())->annotate(ArmFault::OVA,
172 s1Req->getVaddr());
173 }
174 complete = true;
175}
176
177void
178Stage2LookUp::finish(const Fault &_fault, RequestPtr req,
179 ThreadContext *tc, BaseTLB::Mode mode)
180{
181 fault = _fault;
182 // if we haven't got the table entry get it now
183 if ((fault == NoFault) && (stage2Te == NULL)) {
184 fault = stage2Tlb->getTE(&stage2Te, req, tc, mode, this,
185 timing, functional, false, tranType);
186 }
187
188 // Now we have the stage 2 table entry we need to merge it with the stage
189 // 1 entry we were given at the start
190 mergeTe(req, mode);
191
192 if (fault != NoFault) {
193 transState->finish(fault, req, tc, mode);
194 } else if (timing) {
195 // Now notify the original stage 1 translation that we finally have
196 // a result
197 stage1Tlb->translateComplete(s1Req, tc, transState, mode, tranType, true);
198 }
199 // if we have been asked to delete ourselfs do it now
200 if (selfDelete) {
201 delete this;
202 }
203}
204
109 // Size remains smaller of the two.
110 } else {
111 // Matching sizes
112 stage1Te.pfn = stage2Te->pfn;
113 }
114
115 if (stage2Te->mtype == TlbEntry::MemoryType::StronglyOrdered ||
116 stage1Te.mtype == TlbEntry::MemoryType::StronglyOrdered) {
117 stage1Te.mtype = TlbEntry::MemoryType::StronglyOrdered;
118 } else if (stage2Te->mtype == TlbEntry::MemoryType::Device ||
119 stage1Te.mtype == TlbEntry::MemoryType::Device) {
120 stage1Te.mtype = TlbEntry::MemoryType::Device;
121 } else {
122 stage1Te.mtype = TlbEntry::MemoryType::Normal;
123 }
124
125 if (stage1Te.mtype == TlbEntry::MemoryType::Normal) {
126
127 if (stage2Te->innerAttrs == 0 ||
128 stage1Te.innerAttrs == 0) {
129 // either encoding Non-cacheable
130 stage1Te.innerAttrs = 0;
131 } else if (stage2Te->innerAttrs == 2 ||
132 stage1Te.innerAttrs == 2) {
133 // either encoding Write-Through cacheable
134 stage1Te.innerAttrs = 2;
135 } else {
136 // both encodings Write-Back
137 stage1Te.innerAttrs = 3;
138 }
139
140 if (stage2Te->outerAttrs == 0 ||
141 stage1Te.outerAttrs == 0) {
142 // either encoding Non-cacheable
143 stage1Te.outerAttrs = 0;
144 } else if (stage2Te->outerAttrs == 2 ||
145 stage1Te.outerAttrs == 2) {
146 // either encoding Write-Through cacheable
147 stage1Te.outerAttrs = 2;
148 } else {
149 // both encodings Write-Back
150 stage1Te.outerAttrs = 3;
151 }
152
153 stage1Te.shareable |= stage2Te->shareable;
154 stage1Te.outerShareable |= stage2Te->outerShareable;
155 if (stage1Te.innerAttrs == 0 &&
156 stage1Te.outerAttrs == 0) {
157 // something Non-cacheable at each level is outer shareable
158 stage1Te.shareable = true;
159 stage1Te.outerShareable = true;
160 }
161 } else {
162 stage1Te.shareable = true;
163 stage1Te.outerShareable = true;
164 }
165 stage1Te.updateAttributes();
166 }
167
168 // if there's a fault annotate it,
169 if (fault != NoFault) {
170 // If the second stage of translation generated a fault add the
171 // details of the original stage 1 virtual address
172 reinterpret_cast<ArmFault *>(fault.get())->annotate(ArmFault::OVA,
173 s1Req->getVaddr());
174 }
175 complete = true;
176}
177
178void
179Stage2LookUp::finish(const Fault &_fault, RequestPtr req,
180 ThreadContext *tc, BaseTLB::Mode mode)
181{
182 fault = _fault;
183 // if we haven't got the table entry get it now
184 if ((fault == NoFault) && (stage2Te == NULL)) {
185 fault = stage2Tlb->getTE(&stage2Te, req, tc, mode, this,
186 timing, functional, false, tranType);
187 }
188
189 // Now we have the stage 2 table entry we need to merge it with the stage
190 // 1 entry we were given at the start
191 mergeTe(req, mode);
192
193 if (fault != NoFault) {
194 transState->finish(fault, req, tc, mode);
195 } else if (timing) {
196 // Now notify the original stage 1 translation that we finally have
197 // a result
198 stage1Tlb->translateComplete(s1Req, tc, transState, mode, tranType, true);
199 }
200 // if we have been asked to delete ourselfs do it now
201 if (selfDelete) {
202 delete this;
203 }
204}
205