pagetable.hh revision 3809
13804Ssaidi@eecs.umich.edu/*
23804Ssaidi@eecs.umich.edu * Copyright (c) 2006 The Regents of The University of Michigan
33804Ssaidi@eecs.umich.edu * All rights reserved.
43804Ssaidi@eecs.umich.edu *
53804Ssaidi@eecs.umich.edu * Redistribution and use in source and binary forms, with or without
63804Ssaidi@eecs.umich.edu * modification, are permitted provided that the following conditions are
73804Ssaidi@eecs.umich.edu * met: redistributions of source code must retain the above copyright
83804Ssaidi@eecs.umich.edu * notice, this list of conditions and the following disclaimer;
93804Ssaidi@eecs.umich.edu * redistributions in binary form must reproduce the above copyright
103804Ssaidi@eecs.umich.edu * notice, this list of conditions and the following disclaimer in the
113804Ssaidi@eecs.umich.edu * documentation and/or other materials provided with the distribution;
123804Ssaidi@eecs.umich.edu * neither the name of the copyright holders nor the names of its
133804Ssaidi@eecs.umich.edu * contributors may be used to endorse or promote products derived from
143804Ssaidi@eecs.umich.edu * this software without specific prior written permission.
153804Ssaidi@eecs.umich.edu *
163804Ssaidi@eecs.umich.edu * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
173804Ssaidi@eecs.umich.edu * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
183804Ssaidi@eecs.umich.edu * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
193804Ssaidi@eecs.umich.edu * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
203804Ssaidi@eecs.umich.edu * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
213804Ssaidi@eecs.umich.edu * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
223804Ssaidi@eecs.umich.edu * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
233804Ssaidi@eecs.umich.edu * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
243804Ssaidi@eecs.umich.edu * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
253804Ssaidi@eecs.umich.edu * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
263804Ssaidi@eecs.umich.edu * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
273804Ssaidi@eecs.umich.edu *
283804Ssaidi@eecs.umich.edu * Authors: Ali Saidi
293804Ssaidi@eecs.umich.edu */
303804Ssaidi@eecs.umich.edu
313804Ssaidi@eecs.umich.edu#ifndef __ARCH_SPARC_PAGETABLE_HH__
323804Ssaidi@eecs.umich.edu#define __ARCH_SPARC_PAGETABLE_HH__
333804Ssaidi@eecs.umich.edu
343804Ssaidi@eecs.umich.edu#include "arch/sparc/isa_traits.hh"
353809Sgblack@eecs.umich.edu#include "base/misc.hh"
363804Ssaidi@eecs.umich.edu#include "config/full_system.hh"
373804Ssaidi@eecs.umich.edu
383809Sgblack@eecs.umich.educlass Checkpoint;
393809Sgblack@eecs.umich.edu
403804Ssaidi@eecs.umich.edunamespace SparcISA
413804Ssaidi@eecs.umich.edu{
423804Ssaidi@eecs.umich.edustruct VAddr
433804Ssaidi@eecs.umich.edu{
443804Ssaidi@eecs.umich.edu    VAddr(Addr a) { panic("not implemented yet."); }
453804Ssaidi@eecs.umich.edu};
463804Ssaidi@eecs.umich.edu
473804Ssaidi@eecs.umich.educlass PageTableEntry
483804Ssaidi@eecs.umich.edu{
493804Ssaidi@eecs.umich.edu  public:
503804Ssaidi@eecs.umich.edu    enum EntryType {
513804Ssaidi@eecs.umich.edu      sun4v,
523804Ssaidi@eecs.umich.edu      sun4u,
533804Ssaidi@eecs.umich.edu      invalid
543804Ssaidi@eecs.umich.edu    };
553804Ssaidi@eecs.umich.edu
563804Ssaidi@eecs.umich.edu  private:
573804Ssaidi@eecs.umich.edu    uint64_t entry;
583804Ssaidi@eecs.umich.edu    EntryType type;
593804Ssaidi@eecs.umich.edu    uint64_t entry4u;
603804Ssaidi@eecs.umich.edu    bool populated;
613804Ssaidi@eecs.umich.edu
623804Ssaidi@eecs.umich.edu
633804Ssaidi@eecs.umich.edu  public:
643804Ssaidi@eecs.umich.edu    PageTableEntry() : entry(0), type(invalid), populated(false) {}
653804Ssaidi@eecs.umich.edu
663804Ssaidi@eecs.umich.edu    PageTableEntry(uint64_t e, EntryType t = sun4u)
673804Ssaidi@eecs.umich.edu        : entry(e), type(t), populated(true)
683804Ssaidi@eecs.umich.edu
693804Ssaidi@eecs.umich.edu    {
703804Ssaidi@eecs.umich.edu        populate(entry, type);
713804Ssaidi@eecs.umich.edu    }
723804Ssaidi@eecs.umich.edu
733804Ssaidi@eecs.umich.edu    void populate(uint64_t e, EntryType t = sun4u)
743804Ssaidi@eecs.umich.edu    {
753804Ssaidi@eecs.umich.edu        entry = e;
763804Ssaidi@eecs.umich.edu        type = t;
773804Ssaidi@eecs.umich.edu        populated = true;
783804Ssaidi@eecs.umich.edu
793804Ssaidi@eecs.umich.edu        // If we get a sun4v format TTE, turn it into a sun4u
803804Ssaidi@eecs.umich.edu        if (type == sun4u)
813804Ssaidi@eecs.umich.edu            entry4u = entry;
823804Ssaidi@eecs.umich.edu        else {
833804Ssaidi@eecs.umich.edu            uint64_t entry4u = 0;
843804Ssaidi@eecs.umich.edu            entry4u |= entry & ULL(0x8000000000000000);              //valid
853804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x3) << 61;                     //size[1:0]
863804Ssaidi@eecs.umich.edu            entry4u |= (entry & ULL(0x4000000000000000)) >> 2;       //nfo
873804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x1000) << 47;                  //ie
883804Ssaidi@eecs.umich.edu            //entry4u |= (entry & 0x3F00000000000000) >> 7;       //soft2
893804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x4) << 48;                     //size[2]
903804Ssaidi@eecs.umich.edu                                                                //diag?
913804Ssaidi@eecs.umich.edu            entry4u |= (entry & ULL(0x0000FFFFFFFFE000));            //paddr
923804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x400) >> 5;                    //cp
933804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x200) >> 5;                    //cv
943804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x800) >> 8;                    //e
953804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x100) >> 6;                    //p
963804Ssaidi@eecs.umich.edu            entry4u |= (entry & 0x40) >> 5;                     //w
973804Ssaidi@eecs.umich.edu        }
983804Ssaidi@eecs.umich.edu    }
993804Ssaidi@eecs.umich.edu
1003804Ssaidi@eecs.umich.edu    void clear()
1013804Ssaidi@eecs.umich.edu    {
1023804Ssaidi@eecs.umich.edu        populated = false;
1033804Ssaidi@eecs.umich.edu    }
1043804Ssaidi@eecs.umich.edu
1053804Ssaidi@eecs.umich.edu    static int pageSizes[6];
1063804Ssaidi@eecs.umich.edu
1073804Ssaidi@eecs.umich.edu
1083804Ssaidi@eecs.umich.edu    uint64_t operator()() const { assert(populated); return entry4u; }
1093804Ssaidi@eecs.umich.edu    const PageTableEntry &operator=(uint64_t e) { populated = true;
1103804Ssaidi@eecs.umich.edu                                                  entry4u = e; return *this; }
1113804Ssaidi@eecs.umich.edu
1123804Ssaidi@eecs.umich.edu    const PageTableEntry &operator=(const PageTableEntry &e)
1133804Ssaidi@eecs.umich.edu    { populated = true; entry4u = e.entry4u; return *this; }
1143804Ssaidi@eecs.umich.edu
1153804Ssaidi@eecs.umich.edu    bool    valid()    const { return entry4u & ULL(0x8000000000000000) && populated; }
1163804Ssaidi@eecs.umich.edu    uint8_t _size()     const { assert(populated);
1173804Ssaidi@eecs.umich.edu                               return ((entry4u & 0x6) >> 61) |
1183804Ssaidi@eecs.umich.edu                                      ((entry4u & ULL(0x000080000000000)) >> 46); }
1193804Ssaidi@eecs.umich.edu    Addr    size()     const { return pageSizes[_size()]; }
1203804Ssaidi@eecs.umich.edu    bool    ie()       const { return entry4u >> 59 & 0x1; }
1213804Ssaidi@eecs.umich.edu    Addr    pfn()      const { assert(populated);
1223804Ssaidi@eecs.umich.edu                               return entry4u >> 13 & ULL(0xFFFFFFFFFF); }
1233804Ssaidi@eecs.umich.edu    Addr    paddr()    const { assert(populated);
1243804Ssaidi@eecs.umich.edu                               return entry4u & ULL(0x0000FFFFFFFFE000); }
1253804Ssaidi@eecs.umich.edu    bool    locked()   const { assert(populated);
1263804Ssaidi@eecs.umich.edu                               return entry4u & 0x40; }
1273804Ssaidi@eecs.umich.edu    bool    cv()       const { assert(populated);
1283804Ssaidi@eecs.umich.edu                               return entry4u & 0x10; }
1293804Ssaidi@eecs.umich.edu    bool    cp()       const { assert(populated);
1303804Ssaidi@eecs.umich.edu                               return entry4u & 0x20; }
1313804Ssaidi@eecs.umich.edu    bool    priv()     const { assert(populated);
1323804Ssaidi@eecs.umich.edu                               return entry4u & 0x4; }
1333804Ssaidi@eecs.umich.edu    bool    writable() const { assert(populated);
1343804Ssaidi@eecs.umich.edu                               return entry4u & 0x2; }
1353804Ssaidi@eecs.umich.edu    bool    nofault()  const { assert(populated);
1363804Ssaidi@eecs.umich.edu                               return entry4u & ULL(0x1000000000000000); }
1373804Ssaidi@eecs.umich.edu    bool    sideffect() const { assert(populated);
1383804Ssaidi@eecs.umich.edu                                return entry4u & 0x8; }
1393804Ssaidi@eecs.umich.edu};
1403804Ssaidi@eecs.umich.edu
1413804Ssaidi@eecs.umich.edustruct TlbRange {
1423804Ssaidi@eecs.umich.edu    Addr va;
1433804Ssaidi@eecs.umich.edu    Addr size;
1443804Ssaidi@eecs.umich.edu    int contextId;
1453804Ssaidi@eecs.umich.edu    int partitionId;
1463804Ssaidi@eecs.umich.edu    bool real;
1473804Ssaidi@eecs.umich.edu
1483804Ssaidi@eecs.umich.edu    inline bool operator<(const TlbRange &r2) const
1493804Ssaidi@eecs.umich.edu    {
1503804Ssaidi@eecs.umich.edu        if (real && !r2.real)
1513804Ssaidi@eecs.umich.edu            return true;
1523804Ssaidi@eecs.umich.edu        if (!real && r2.real)
1533804Ssaidi@eecs.umich.edu            return false;
1543804Ssaidi@eecs.umich.edu
1553804Ssaidi@eecs.umich.edu        if (!real && !r2.real) {
1563804Ssaidi@eecs.umich.edu            if (contextId < r2.contextId)
1573804Ssaidi@eecs.umich.edu                return true;
1583804Ssaidi@eecs.umich.edu            else if (contextId > r2.contextId)
1593804Ssaidi@eecs.umich.edu                return false;
1603804Ssaidi@eecs.umich.edu        }
1613804Ssaidi@eecs.umich.edu
1623804Ssaidi@eecs.umich.edu        if (partitionId < r2.partitionId)
1633804Ssaidi@eecs.umich.edu            return true;
1643804Ssaidi@eecs.umich.edu        else if (partitionId > r2.partitionId)
1653804Ssaidi@eecs.umich.edu            return false;
1663804Ssaidi@eecs.umich.edu
1673804Ssaidi@eecs.umich.edu        if (va < r2.va)
1683804Ssaidi@eecs.umich.edu            return true;
1693804Ssaidi@eecs.umich.edu        return false;
1703804Ssaidi@eecs.umich.edu    }
1713804Ssaidi@eecs.umich.edu    inline bool operator==(const TlbRange &r2) const
1723804Ssaidi@eecs.umich.edu    {
1733804Ssaidi@eecs.umich.edu        return va == r2.va &&
1743804Ssaidi@eecs.umich.edu               size == r2.size &&
1753804Ssaidi@eecs.umich.edu               contextId == r2.contextId &&
1763804Ssaidi@eecs.umich.edu               partitionId == r2.partitionId &&
1773804Ssaidi@eecs.umich.edu               real == r2.real;
1783804Ssaidi@eecs.umich.edu    }
1793804Ssaidi@eecs.umich.edu};
1803804Ssaidi@eecs.umich.edu
1813804Ssaidi@eecs.umich.edu
1823804Ssaidi@eecs.umich.edustruct TlbEntry {
1833804Ssaidi@eecs.umich.edu    TlbRange range;
1843804Ssaidi@eecs.umich.edu    PageTableEntry pte;
1853804Ssaidi@eecs.umich.edu    bool used;
1863804Ssaidi@eecs.umich.edu    bool valid;
1873804Ssaidi@eecs.umich.edu
1883804Ssaidi@eecs.umich.edu    void serialize(std::ostream &os);
1893804Ssaidi@eecs.umich.edu    void unserialize(Checkpoint *cp, const std::string &section);
1903804Ssaidi@eecs.umich.edu
1913804Ssaidi@eecs.umich.edu};
1923804Ssaidi@eecs.umich.edu
1933804Ssaidi@eecs.umich.edu
1943804Ssaidi@eecs.umich.edu}; // namespace SparcISA
1953804Ssaidi@eecs.umich.edu
1963804Ssaidi@eecs.umich.edu#endif // __ARCH_SPARC_PAGE_TABLE_HH__
1973804Ssaidi@eecs.umich.edu
198