stage2_lookup.cc revision 12429:beefb9f5f551
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!).
98            stage1Te.vpn  = s1Req->getVaddr() / (stage2Te->size+1);
99            stage1Te.pfn  = stage2Te->pfn;
100            stage1Te.size = stage2Te->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));
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
205