tlb.hh revision 10822:d259f2bc2b31 
1/*
2 * Copyright (c) 2010-2013 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 * Copyright (c) 2001-2005 The Regents of The University of Michigan
15 * All rights reserved.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions are
19 * met: redistributions of source code must retain the above copyright
20 * notice, this list of conditions and the following disclaimer;
21 * redistributions in binary form must reproduce the above copyright
22 * notice, this list of conditions and the following disclaimer in the
23 * documentation and/or other materials provided with the distribution;
24 * neither the name of the copyright holders nor the names of its
25 * contributors may be used to endorse or promote products derived from
26 * this software without specific prior written permission.
27 *
28 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
29 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
30 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
31 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
32 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
33 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
34 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
35 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
36 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
37 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
38 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
39 *
40 * Authors: Ali Saidi
41 */
42
43#ifndef __ARCH_ARM_TLB_HH__
44#define __ARCH_ARM_TLB_HH__
45
46
47#include "arch/arm/isa_traits.hh"
48#include "arch/arm/pagetable.hh"
49#include "arch/arm/utility.hh"
50#include "arch/arm/vtophys.hh"
51#include "arch/generic/tlb.hh"
52#include "base/statistics.hh"
53#include "dev/dma_device.hh"
54#include "mem/request.hh"
55#include "params/ArmTLB.hh"
56#include "sim/probe/pmu.hh"
57
58class ThreadContext;
59
60namespace ArmISA {
61
62class TableWalker;
63class Stage2LookUp;
64class Stage2MMU;
65
66class TLB : public BaseTLB
67{
68  public:
69    enum ArmFlags {
70        AlignmentMask = 0x7,
71
72        AlignByte = 0x0,
73        AlignHalfWord = 0x1,
74        AlignWord = 0x2,
75        AlignDoubleWord = 0x3,
76        AlignQuadWord = 0x4,
77        AlignOctWord = 0x5,
78
79        AllowUnaligned = 0x8,
80        // Priv code operating as if it wasn't
81        UserMode = 0x10,
82        // Because zero otherwise looks like a valid setting and may be used
83        // accidentally, this bit must be non-zero to show it was used on
84        // purpose.
85        MustBeOne = 0x40
86    };
87
88    enum ArmTranslationType {
89        NormalTran = 0,
90        S1CTran = 0x1,
91        HypMode = 0x2,
92        // Secure code operating as if it wasn't (required by some Address
93        // Translate operations)
94        S1S2NsTran = 0x4
95    };
96  protected:
97    TlbEntry* table;     // the Page Table
98    int size;            // TLB Size
99    bool isStage2;       // Indicates this TLB is part of the second stage MMU
100    bool stage2Req;      // Indicates whether a stage 2 lookup is also required
101    uint64_t _attr;      // Memory attributes for last accessed TLB entry
102    bool directToStage2; // Indicates whether all translation requests should
103                         // be routed directly to the stage 2 TLB
104
105    TableWalker *tableWalker;
106    TLB *stage2Tlb;
107    Stage2MMU *stage2Mmu;
108
109    // Access Stats
110    mutable Stats::Scalar instHits;
111    mutable Stats::Scalar instMisses;
112    mutable Stats::Scalar readHits;
113    mutable Stats::Scalar readMisses;
114    mutable Stats::Scalar writeHits;
115    mutable Stats::Scalar writeMisses;
116    mutable Stats::Scalar inserts;
117    mutable Stats::Scalar flushTlb;
118    mutable Stats::Scalar flushTlbMva;
119    mutable Stats::Scalar flushTlbMvaAsid;
120    mutable Stats::Scalar flushTlbAsid;
121    mutable Stats::Scalar flushedEntries;
122    mutable Stats::Scalar alignFaults;
123    mutable Stats::Scalar prefetchFaults;
124    mutable Stats::Scalar domainFaults;
125    mutable Stats::Scalar permsFaults;
126
127    Stats::Formula readAccesses;
128    Stats::Formula writeAccesses;
129    Stats::Formula instAccesses;
130    Stats::Formula hits;
131    Stats::Formula misses;
132    Stats::Formula accesses;
133
134    /** PMU probe for TLB refills */
135    ProbePoints::PMUUPtr ppRefills;
136
137    int rangeMRU; //On lookup, only move entries ahead when outside rangeMRU
138
139  public:
140    TLB(const ArmTLBParams *p);
141    TLB(const Params *p, int _size, TableWalker *_walker);
142
143    /** Lookup an entry in the TLB
144     * @param vpn virtual address
145     * @param asn context id/address space id to use
146     * @param vmid The virtual machine ID used for stage 2 translation
147     * @param secure if the lookup is secure
148     * @param hyp if the lookup is done from hyp mode
149     * @param functional if the lookup should modify state
150     * @param ignore_asn if on lookup asn should be ignored
151     * @return pointer to TLB entry if it exists
152     */
153    TlbEntry *lookup(Addr vpn, uint16_t asn, uint8_t vmid, bool hyp,
154                     bool secure, bool functional,
155                     bool ignore_asn, uint8_t target_el);
156
157    virtual ~TLB();
158
159    void takeOverFrom(BaseTLB *otlb);
160
161    /// setup all the back pointers
162    virtual void init();
163
164    TableWalker *getTableWalker() { return tableWalker; }
165
166    void setMMU(Stage2MMU *m, MasterID master_id);
167
168    int getsize() const { return size; }
169
170    void insert(Addr vaddr, TlbEntry &pte);
171
172    Fault getTE(TlbEntry **te, RequestPtr req, ThreadContext *tc, Mode mode,
173                Translation *translation, bool timing, bool functional,
174                bool is_secure, ArmTranslationType tranType);
175
176    Fault getResultTe(TlbEntry **te, RequestPtr req, ThreadContext *tc,
177                      Mode mode, Translation *translation, bool timing,
178                      bool functional, TlbEntry *mergeTe);
179
180    Fault checkPermissions(TlbEntry *te, RequestPtr req, Mode mode);
181    Fault checkPermissions64(TlbEntry *te, RequestPtr req, Mode mode,
182                             ThreadContext *tc);
183
184
185    /** Reset the entire TLB
186     * @param secure_lookup if the operation affects the secure world
187     */
188    void flushAllSecurity(bool secure_lookup, uint8_t target_el,
189                          bool ignore_el = false);
190
191    /** Remove all entries in the non secure world, depending on whether they
192     *  were allocated in hyp mode or not
193     * @param hyp if the opperation affects hyp mode
194     */
195    void flushAllNs(bool hyp, uint8_t target_el, bool ignore_el = false);
196
197
198    /** Reset the entire TLB. Used for CPU switching to prevent stale
199     * translations after multiple switches
200     */
201    void flushAll()
202    {
203        flushAllSecurity(false, 0, true);
204        flushAllSecurity(true, 0, true);
205    }
206
207    /** Remove any entries that match both a va and asn
208     * @param mva virtual address to flush
209     * @param asn contextid/asn to flush on match
210     * @param secure_lookup if the operation affects the secure world
211     */
212    void flushMvaAsid(Addr mva, uint64_t asn, bool secure_lookup,
213                      uint8_t target_el);
214
215    /** Remove any entries that match the asn
216     * @param asn contextid/asn to flush on match
217     * @param secure_lookup if the operation affects the secure world
218     */
219    void flushAsid(uint64_t asn, bool secure_lookup, uint8_t target_el);
220
221    /** Remove all entries that match the va regardless of asn
222     * @param mva address to flush from cache
223     * @param secure_lookup if the operation affects the secure world
224     * @param hyp if the operation affects hyp mode
225     */
226    void flushMva(Addr mva, bool secure_lookup, bool hyp, uint8_t target_el);
227
228    Fault trickBoxCheck(RequestPtr req, Mode mode, TlbEntry::DomainType domain);
229    Fault walkTrickBoxCheck(Addr pa, bool is_secure, Addr va, Addr sz, bool is_exec,
230            bool is_write, TlbEntry::DomainType domain, LookupLevel lookup_level);
231
232    void printTlb() const;
233
234    void demapPage(Addr vaddr, uint64_t asn)
235    {
236        // needed for x86 only
237        panic("demapPage() is not implemented.\n");
238    }
239
240    static bool validVirtualAddress(Addr vaddr);
241
242    /**
243     * Do a functional lookup on the TLB (for debugging)
244     * and don't modify any internal state
245     * @param tc thread context to get the context id from
246     * @param vaddr virtual address to translate
247     * @param pa returned physical address
248     * @return if the translation was successful
249     */
250    bool translateFunctional(ThreadContext *tc, Addr vaddr, Addr &paddr);
251
252    /**
253     * Do a functional lookup on the TLB (for checker cpu) that
254     * behaves like a normal lookup without modifying any page table state.
255     */
256    Fault translateFunctional(RequestPtr req, ThreadContext *tc, Mode mode,
257            ArmTranslationType tranType = NormalTran);
258
259    /** Accessor functions for memory attributes for last accessed TLB entry
260     */
261    void
262    setAttr(uint64_t attr)
263    {
264        _attr = attr;
265    }
266
267    uint64_t
268    getAttr() const
269    {
270        return _attr;
271    }
272
273    Fault translateFs(RequestPtr req, ThreadContext *tc, Mode mode,
274            Translation *translation, bool &delay,
275            bool timing, ArmTranslationType tranType, bool functional = false);
276    Fault translateSe(RequestPtr req, ThreadContext *tc, Mode mode,
277            Translation *translation, bool &delay, bool timing);
278    Fault translateAtomic(RequestPtr req, ThreadContext *tc, Mode mode,
279            ArmTranslationType tranType = NormalTran);
280    Fault translateTiming(RequestPtr req, ThreadContext *tc,
281            Translation *translation, Mode mode,
282            ArmTranslationType tranType = NormalTran);
283    Fault translateComplete(RequestPtr req, ThreadContext *tc,
284            Translation *translation, Mode mode, ArmTranslationType tranType,
285            bool callFromS2);
286    Fault finalizePhysical(RequestPtr req, ThreadContext *tc, Mode mode) const;
287
288    void drainResume();
289
290    // Checkpointing
291    void serialize(std::ostream &os);
292    void unserialize(Checkpoint *cp, const std::string &section);
293
294    void regStats();
295
296    void regProbePoints() M5_ATTR_OVERRIDE;
297
298    /**
299     * Get the table walker master port. This is used for migrating
300     * port connections during a CPU takeOverFrom() call. For
301     * architectures that do not have a table walker, NULL is
302     * returned, hence the use of a pointer rather than a
303     * reference. For ARM this method will always return a valid port
304     * pointer.
305     *
306     * @return A pointer to the walker master port
307     */
308    virtual BaseMasterPort* getMasterPort();
309
310    // Caching misc register values here.
311    // Writing to misc registers needs to invalidate them.
312    // translateFunctional/translateSe/translateFs checks if they are
313    // invalid and call updateMiscReg if necessary.
314protected:
315    bool aarch64;
316    ExceptionLevel aarch64EL;
317    SCTLR sctlr;
318    SCR scr;
319    bool isPriv;
320    bool isSecure;
321    bool isHyp;
322    TTBCR ttbcr;
323    uint16_t asid;
324    uint8_t vmid;
325    PRRR prrr;
326    NMRR nmrr;
327    HCR hcr;
328    uint32_t dacr;
329    bool miscRegValid;
330    ArmTranslationType curTranType;
331
332    // Cached copies of system-level properties
333    bool haveLPAE;
334    bool haveVirtualization;
335    bool haveLargeAsid64;
336
337    void updateMiscReg(ThreadContext *tc,
338                       ArmTranslationType tranType = NormalTran);
339
340public:
341    const Params *
342    params() const
343    {
344        return dynamic_cast<const Params *>(_params);
345    }
346    inline void invalidateMiscReg() { miscRegValid = false; }
347
348private:
349    /** Remove any entries that match both a va and asn
350     * @param mva virtual address to flush
351     * @param asn contextid/asn to flush on match
352     * @param secure_lookup if the operation affects the secure world
353     * @param hyp if the operation affects hyp mode
354     * @param ignore_asn if the flush should ignore the asn
355     */
356    void _flushMva(Addr mva, uint64_t asn, bool secure_lookup,
357                   bool hyp, bool ignore_asn, uint8_t target_el);
358
359    bool checkELMatch(uint8_t target_el, uint8_t tentry_el, bool ignore_el);
360};
361
362} // namespace ArmISA
363
364#endif // __ARCH_ARM_TLB_HH__
365