pagetable.hh revision 4159
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"
353826Ssaidi@eecs.umich.edu#include "base/bitfield.hh"
363809Sgblack@eecs.umich.edu#include "base/misc.hh"
373804Ssaidi@eecs.umich.edu#include "config/full_system.hh"
383804Ssaidi@eecs.umich.edu
393809Sgblack@eecs.umich.educlass Checkpoint;
403809Sgblack@eecs.umich.edu
413804Ssaidi@eecs.umich.edunamespace SparcISA
423804Ssaidi@eecs.umich.edu{
433804Ssaidi@eecs.umich.edustruct VAddr
443804Ssaidi@eecs.umich.edu{
453804Ssaidi@eecs.umich.edu    VAddr(Addr a) { panic("not implemented yet."); }
463804Ssaidi@eecs.umich.edu};
473804Ssaidi@eecs.umich.edu
484070Ssaidi@eecs.umich.educlass TteTag
494070Ssaidi@eecs.umich.edu{
504070Ssaidi@eecs.umich.edu  private:
514070Ssaidi@eecs.umich.edu    uint64_t entry;
524070Ssaidi@eecs.umich.edu    bool populated;
534070Ssaidi@eecs.umich.edu
544070Ssaidi@eecs.umich.edu  public:
554070Ssaidi@eecs.umich.edu    TteTag() : entry(0), populated(false) {}
564070Ssaidi@eecs.umich.edu    TteTag(uint64_t e) : entry(e), populated(true) {}
574070Ssaidi@eecs.umich.edu    const TteTag &operator=(uint64_t e) { populated = true;
584070Ssaidi@eecs.umich.edu                                          entry = e; return *this; }
594070Ssaidi@eecs.umich.edu    bool valid() const {assert(populated); return !bits(entry,62,62); }
604070Ssaidi@eecs.umich.edu    Addr va()    const {assert(populated); return bits(entry,41,0); }
614070Ssaidi@eecs.umich.edu};
624070Ssaidi@eecs.umich.edu
634070Ssaidi@eecs.umich.edu
643804Ssaidi@eecs.umich.educlass PageTableEntry
653804Ssaidi@eecs.umich.edu{
663804Ssaidi@eecs.umich.edu  public:
673804Ssaidi@eecs.umich.edu    enum EntryType {
683804Ssaidi@eecs.umich.edu      sun4v,
693804Ssaidi@eecs.umich.edu      sun4u,
703804Ssaidi@eecs.umich.edu      invalid
713804Ssaidi@eecs.umich.edu    };
723804Ssaidi@eecs.umich.edu
733804Ssaidi@eecs.umich.edu  private:
743804Ssaidi@eecs.umich.edu    uint64_t entry;
753804Ssaidi@eecs.umich.edu    EntryType type;
763804Ssaidi@eecs.umich.edu    uint64_t entry4u;
773804Ssaidi@eecs.umich.edu    bool populated;
783804Ssaidi@eecs.umich.edu
793804Ssaidi@eecs.umich.edu
803804Ssaidi@eecs.umich.edu  public:
813804Ssaidi@eecs.umich.edu    PageTableEntry() : entry(0), type(invalid), populated(false) {}
823804Ssaidi@eecs.umich.edu
833804Ssaidi@eecs.umich.edu    PageTableEntry(uint64_t e, EntryType t = sun4u)
843804Ssaidi@eecs.umich.edu        : entry(e), type(t), populated(true)
853804Ssaidi@eecs.umich.edu
863804Ssaidi@eecs.umich.edu    {
873804Ssaidi@eecs.umich.edu        populate(entry, type);
883804Ssaidi@eecs.umich.edu    }
893804Ssaidi@eecs.umich.edu
903804Ssaidi@eecs.umich.edu    void populate(uint64_t e, EntryType t = sun4u)
913804Ssaidi@eecs.umich.edu    {
923804Ssaidi@eecs.umich.edu        entry = e;
933804Ssaidi@eecs.umich.edu        type = t;
943804Ssaidi@eecs.umich.edu        populated = true;
953804Ssaidi@eecs.umich.edu
963804Ssaidi@eecs.umich.edu        // If we get a sun4v format TTE, turn it into a sun4u
973804Ssaidi@eecs.umich.edu        if (type == sun4u)
983804Ssaidi@eecs.umich.edu            entry4u = entry;
993804Ssaidi@eecs.umich.edu        else {
1003826Ssaidi@eecs.umich.edu            entry4u = 0;
1013826Ssaidi@eecs.umich.edu            entry4u |= mbits(entry,63,63);         //valid
1023826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,1,0) << 61;      //size[1:0]
1033826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,62,62) << 60;    //nfo
1043826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,12,12) << 59;    //ie
1053826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,2,2) << 48;      //size[2]
1063826Ssaidi@eecs.umich.edu            entry4u |= mbits(entry,39,13);         //paddr
1073826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,61,61) << 6;;    // locked
1083826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,10,10) << 5;     //cp
1093826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,9,9) << 4;       //cv
1103826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,11,11) << 3;     //e
1113826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,8,8) << 2;       //p
1123826Ssaidi@eecs.umich.edu            entry4u |= bits(entry,6,6) << 1;       //w
1133804Ssaidi@eecs.umich.edu        }
1143804Ssaidi@eecs.umich.edu    }
1153804Ssaidi@eecs.umich.edu
1163804Ssaidi@eecs.umich.edu    void clear()
1173804Ssaidi@eecs.umich.edu    {
1183804Ssaidi@eecs.umich.edu        populated = false;
1193804Ssaidi@eecs.umich.edu    }
1203804Ssaidi@eecs.umich.edu
1213804Ssaidi@eecs.umich.edu    static int pageSizes[6];
1223804Ssaidi@eecs.umich.edu
1233804Ssaidi@eecs.umich.edu
1243804Ssaidi@eecs.umich.edu    uint64_t operator()() const { assert(populated); return entry4u; }
1253804Ssaidi@eecs.umich.edu    const PageTableEntry &operator=(uint64_t e) { populated = true;
1263804Ssaidi@eecs.umich.edu                                                  entry4u = e; return *this; }
1273804Ssaidi@eecs.umich.edu
1283804Ssaidi@eecs.umich.edu    const PageTableEntry &operator=(const PageTableEntry &e)
1294070Ssaidi@eecs.umich.edu    { populated = true; entry4u = e.entry4u; type = e.type; return *this; }
1303804Ssaidi@eecs.umich.edu
1313826Ssaidi@eecs.umich.edu    bool    valid()    const { return bits(entry4u,63,63) && populated; }
1323804Ssaidi@eecs.umich.edu    uint8_t _size()     const { assert(populated);
1333826Ssaidi@eecs.umich.edu                               return bits(entry4u, 62,61) |
1343826Ssaidi@eecs.umich.edu                                      bits(entry4u, 48,48) << 2; }
1353826Ssaidi@eecs.umich.edu    Addr    size()     const { assert(_size() < 6); return pageSizes[_size()]; }
1364070Ssaidi@eecs.umich.edu    Addr    sizeMask() const { assert(_size() < 6); return pageSizes[_size()]-1;}
1373826Ssaidi@eecs.umich.edu    bool    ie()       const { return bits(entry4u, 59,59); }
1383826Ssaidi@eecs.umich.edu    Addr    pfn()      const { assert(populated); return bits(entry4u,39,13); }
1393826Ssaidi@eecs.umich.edu    Addr    paddr()    const { assert(populated); return mbits(entry4u, 39,13);}
1403826Ssaidi@eecs.umich.edu    bool    locked()   const { assert(populated); return bits(entry4u,6,6); }
1413826Ssaidi@eecs.umich.edu    bool    cv()       const { assert(populated); return bits(entry4u,4,4); }
1423826Ssaidi@eecs.umich.edu    bool    cp()       const { assert(populated); return bits(entry4u,5,5); }
1433826Ssaidi@eecs.umich.edu    bool    priv()     const { assert(populated); return bits(entry4u,2,2); }
1443826Ssaidi@eecs.umich.edu    bool    writable() const { assert(populated); return bits(entry4u,1,1); }
1453826Ssaidi@eecs.umich.edu    bool    nofault()  const { assert(populated); return bits(entry4u,60,60); }
1463826Ssaidi@eecs.umich.edu    bool    sideffect() const { assert(populated); return bits(entry4u,3,3); }
1474070Ssaidi@eecs.umich.edu    Addr    paddrMask() const { assert(populated);
1484070Ssaidi@eecs.umich.edu                                return mbits(entry4u, 39,13) & ~sizeMask(); }
1493804Ssaidi@eecs.umich.edu};
1503804Ssaidi@eecs.umich.edu
1513804Ssaidi@eecs.umich.edustruct TlbRange {
1523804Ssaidi@eecs.umich.edu    Addr va;
1533804Ssaidi@eecs.umich.edu    Addr size;
1543804Ssaidi@eecs.umich.edu    int contextId;
1553804Ssaidi@eecs.umich.edu    int partitionId;
1563804Ssaidi@eecs.umich.edu    bool real;
1573804Ssaidi@eecs.umich.edu
1583804Ssaidi@eecs.umich.edu    inline bool operator<(const TlbRange &r2) const
1593804Ssaidi@eecs.umich.edu    {
1603804Ssaidi@eecs.umich.edu        if (real && !r2.real)
1613804Ssaidi@eecs.umich.edu            return true;
1623804Ssaidi@eecs.umich.edu        if (!real && r2.real)
1633804Ssaidi@eecs.umich.edu            return false;
1643804Ssaidi@eecs.umich.edu
1653804Ssaidi@eecs.umich.edu        if (!real && !r2.real) {
1663804Ssaidi@eecs.umich.edu            if (contextId < r2.contextId)
1673804Ssaidi@eecs.umich.edu                return true;
1683804Ssaidi@eecs.umich.edu            else if (contextId > r2.contextId)
1693804Ssaidi@eecs.umich.edu                return false;
1703804Ssaidi@eecs.umich.edu        }
1713804Ssaidi@eecs.umich.edu
1723804Ssaidi@eecs.umich.edu        if (partitionId < r2.partitionId)
1733804Ssaidi@eecs.umich.edu            return true;
1743804Ssaidi@eecs.umich.edu        else if (partitionId > r2.partitionId)
1753804Ssaidi@eecs.umich.edu            return false;
1763804Ssaidi@eecs.umich.edu
1773804Ssaidi@eecs.umich.edu        if (va < r2.va)
1783804Ssaidi@eecs.umich.edu            return true;
1793804Ssaidi@eecs.umich.edu        return false;
1803804Ssaidi@eecs.umich.edu    }
1813804Ssaidi@eecs.umich.edu    inline bool operator==(const TlbRange &r2) const
1823804Ssaidi@eecs.umich.edu    {
1833804Ssaidi@eecs.umich.edu        return va == r2.va &&
1843804Ssaidi@eecs.umich.edu               size == r2.size &&
1853804Ssaidi@eecs.umich.edu               contextId == r2.contextId &&
1863804Ssaidi@eecs.umich.edu               partitionId == r2.partitionId &&
1873804Ssaidi@eecs.umich.edu               real == r2.real;
1883804Ssaidi@eecs.umich.edu    }
1893804Ssaidi@eecs.umich.edu};
1903804Ssaidi@eecs.umich.edu
1913804Ssaidi@eecs.umich.edu
1923804Ssaidi@eecs.umich.edustruct TlbEntry {
1933804Ssaidi@eecs.umich.edu    TlbRange range;
1943804Ssaidi@eecs.umich.edu    PageTableEntry pte;
1953804Ssaidi@eecs.umich.edu    bool used;
1963804Ssaidi@eecs.umich.edu    bool valid;
1973804Ssaidi@eecs.umich.edu
1983804Ssaidi@eecs.umich.edu    void serialize(std::ostream &os);
1993804Ssaidi@eecs.umich.edu    void unserialize(Checkpoint *cp, const std::string &section);
2003804Ssaidi@eecs.umich.edu
2013804Ssaidi@eecs.umich.edu};
2023804Ssaidi@eecs.umich.edu
2033804Ssaidi@eecs.umich.edu
2043804Ssaidi@eecs.umich.edu}; // namespace SparcISA
2053804Ssaidi@eecs.umich.edu
2063804Ssaidi@eecs.umich.edu#endif // __ARCH_SPARC_PAGE_TABLE_HH__
2073804Ssaidi@eecs.umich.edu
208