smmu_v3_ptops.cc revision 14098
114039Sstacze01@arm.com/*
214039Sstacze01@arm.com * Copyright (c) 2013, 2018-2019 ARM Limited
314039Sstacze01@arm.com * All rights reserved
414039Sstacze01@arm.com *
514039Sstacze01@arm.com * The license below extends only to copyright in the software and shall
614039Sstacze01@arm.com * not be construed as granting a license to any other intellectual
714039Sstacze01@arm.com * property including but not limited to intellectual property relating
814039Sstacze01@arm.com * to a hardware implementation of the functionality of the software
914039Sstacze01@arm.com * licensed hereunder.  You may use the software subject to the license
1014039Sstacze01@arm.com * terms below provided that you ensure that this notice is replicated
1114039Sstacze01@arm.com * unmodified and in its entirety in all distributions of the software,
1214039Sstacze01@arm.com * modified or unmodified, in source code or in binary form.
1314039Sstacze01@arm.com *
1414039Sstacze01@arm.com * Redistribution and use in source and binary forms, with or without
1514039Sstacze01@arm.com * modification, are permitted provided that the following conditions are
1614039Sstacze01@arm.com * met: redistributions of source code must retain the above copyright
1714039Sstacze01@arm.com * notice, this list of conditions and the following disclaimer;
1814039Sstacze01@arm.com * redistributions in binary form must reproduce the above copyright
1914039Sstacze01@arm.com * notice, this list of conditions and the following disclaimer in the
2014039Sstacze01@arm.com * documentation and/or other materials provided with the distribution;
2114039Sstacze01@arm.com * neither the name of the copyright holders nor the names of its
2214039Sstacze01@arm.com * contributors may be used to endorse or promote products derived from
2314039Sstacze01@arm.com * this software without specific prior written permission.
2414039Sstacze01@arm.com *
2514039Sstacze01@arm.com * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
2614039Sstacze01@arm.com * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
2714039Sstacze01@arm.com * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
2814039Sstacze01@arm.com * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
2914039Sstacze01@arm.com * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
3014039Sstacze01@arm.com * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
3114039Sstacze01@arm.com * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
3214039Sstacze01@arm.com * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
3314039Sstacze01@arm.com * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
3414039Sstacze01@arm.com * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
3514039Sstacze01@arm.com * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
3614039Sstacze01@arm.com *
3714039Sstacze01@arm.com * Authors: Stan Czerniawski
3814039Sstacze01@arm.com */
3914039Sstacze01@arm.com
4014039Sstacze01@arm.com#include "dev/arm/smmu_v3_ptops.hh"
4114039Sstacze01@arm.com
4214039Sstacze01@arm.com#include "base/bitfield.hh"
4314039Sstacze01@arm.com#include "base/logging.hh"
4414039Sstacze01@arm.com
4514039Sstacze01@arm.combool
4614039Sstacze01@arm.comV7LPageTableOps::isValid(pte_t pte, unsigned level) const
4714039Sstacze01@arm.com{
4814039Sstacze01@arm.com    switch (level) {
4914039Sstacze01@arm.com        case 1: return  pte & 0x1;
5014039Sstacze01@arm.com        case 2: return  pte & 0x1;
5114039Sstacze01@arm.com        case 3: return (pte & 0x1) && (pte & 0x2);
5214039Sstacze01@arm.com        default: panic("bad level %d", level);
5314039Sstacze01@arm.com    }
5414039Sstacze01@arm.com}
5514039Sstacze01@arm.com
5614039Sstacze01@arm.combool
5714039Sstacze01@arm.comV7LPageTableOps::isLeaf(pte_t pte, unsigned level) const
5814039Sstacze01@arm.com{
5914039Sstacze01@arm.com    switch (level) {
6014039Sstacze01@arm.com        case 1: return !(pte & 0x2);
6114039Sstacze01@arm.com        case 2: return !(pte & 0x2);
6214039Sstacze01@arm.com        case 3: return true;
6314039Sstacze01@arm.com        default: panic("bad level %d", level);
6414039Sstacze01@arm.com    }
6514039Sstacze01@arm.com}
6614039Sstacze01@arm.com
6714039Sstacze01@arm.combool
6814039Sstacze01@arm.comV7LPageTableOps::isWritable(pte_t pte, unsigned level, bool stage2) const
6914039Sstacze01@arm.com{
7014039Sstacze01@arm.com    return stage2 ? bits(pte, 7, 6)==3 : bits(pte, 7)==0;
7114039Sstacze01@arm.com}
7214039Sstacze01@arm.com
7314039Sstacze01@arm.comAddr
7414039Sstacze01@arm.comV7LPageTableOps::nextLevelPointer(pte_t pte, unsigned level) const
7514039Sstacze01@arm.com{
7614039Sstacze01@arm.com    if (isLeaf(pte, level)) {
7714039Sstacze01@arm.com        switch (level) {
7814039Sstacze01@arm.com            case 1: return mbits(pte, 39, 30);
7914039Sstacze01@arm.com            case 2: return mbits(pte, 39, 21);
8014039Sstacze01@arm.com            case 3: return mbits(pte, 39, 12);
8114039Sstacze01@arm.com            default: panic("bad level %d", level);
8214039Sstacze01@arm.com        }
8314039Sstacze01@arm.com    } else {
8414039Sstacze01@arm.com        return mbits(pte, 39, 12);
8514039Sstacze01@arm.com    }
8614039Sstacze01@arm.com}
8714039Sstacze01@arm.com
8814039Sstacze01@arm.comAddr
8914039Sstacze01@arm.comV7LPageTableOps::index(Addr va, unsigned level) const
9014039Sstacze01@arm.com{
9114039Sstacze01@arm.com    // In theory this should be configurable...
9214039Sstacze01@arm.com    const int n = 12;
9314039Sstacze01@arm.com
9414039Sstacze01@arm.com    switch (level) {
9514039Sstacze01@arm.com        case 1: return bits(va, 26+n, 30) << 3; break;
9614039Sstacze01@arm.com        case 2: return bits(va, 29, 21) << 3; break;
9714039Sstacze01@arm.com        case 3: return bits(va, 20, 12) << 3; break;
9814039Sstacze01@arm.com        default: panic("bad level %d", level);
9914039Sstacze01@arm.com    }
10014039Sstacze01@arm.com}
10114039Sstacze01@arm.com
10214039Sstacze01@arm.comAddr
10314039Sstacze01@arm.comV7LPageTableOps::pageMask(pte_t pte, unsigned level) const
10414039Sstacze01@arm.com{
10514039Sstacze01@arm.com    switch (level) {
10614039Sstacze01@arm.com        case 1: return ~mask(30);
10714039Sstacze01@arm.com        case 2: return ~mask(21);
10814039Sstacze01@arm.com        case 3: return bits(pte, 52) ? ~mask(16) : ~mask(12);
10914039Sstacze01@arm.com        default: panic("bad level %d", level);
11014039Sstacze01@arm.com    }
11114039Sstacze01@arm.com}
11214039Sstacze01@arm.com
11314039Sstacze01@arm.comAddr
11414039Sstacze01@arm.comV7LPageTableOps::walkMask(unsigned level) const
11514039Sstacze01@arm.com{
11614039Sstacze01@arm.com    switch (level) {
11714039Sstacze01@arm.com        case 1: return mask(39, 30);
11814039Sstacze01@arm.com        case 2: return mask(39, 21);
11914039Sstacze01@arm.com        case 3: return mask(39, 12);
12014039Sstacze01@arm.com        default: panic("bad level %d", level);
12114039Sstacze01@arm.com    }
12214039Sstacze01@arm.com}
12314039Sstacze01@arm.com
12414039Sstacze01@arm.comunsigned
12514039Sstacze01@arm.comV7LPageTableOps::firstLevel() const
12614039Sstacze01@arm.com{
12714039Sstacze01@arm.com    return 1;
12814039Sstacze01@arm.com}
12914039Sstacze01@arm.com
13014039Sstacze01@arm.comunsigned
13114039Sstacze01@arm.comV7LPageTableOps::lastLevel() const
13214039Sstacze01@arm.com{
13314039Sstacze01@arm.com    return 3;
13414039Sstacze01@arm.com}
13514039Sstacze01@arm.com
13614039Sstacze01@arm.combool
13714039Sstacze01@arm.comV8PageTableOps4k::isValid(pte_t pte, unsigned level) const
13814039Sstacze01@arm.com{
13914039Sstacze01@arm.com    switch (level) {
14014039Sstacze01@arm.com        case 0: return  pte & 0x1;
14114039Sstacze01@arm.com        case 1: return  pte & 0x1;
14214039Sstacze01@arm.com        case 2: return  pte & 0x1;
14314039Sstacze01@arm.com        case 3: return (pte & 0x1) && (pte & 0x2);
14414039Sstacze01@arm.com        default: panic("bad level %d", level);
14514039Sstacze01@arm.com    }
14614039Sstacze01@arm.com}
14714039Sstacze01@arm.com
14814039Sstacze01@arm.combool
14914039Sstacze01@arm.comV8PageTableOps4k::isLeaf(pte_t pte, unsigned level) const
15014039Sstacze01@arm.com{
15114039Sstacze01@arm.com    switch (level) {
15214039Sstacze01@arm.com        case 0: return false;
15314039Sstacze01@arm.com        case 1: return !(pte & 0x2);
15414039Sstacze01@arm.com        case 2: return !(pte & 0x2);
15514039Sstacze01@arm.com        case 3: return true;
15614039Sstacze01@arm.com        default: panic("bad level %d", level);
15714039Sstacze01@arm.com    }
15814039Sstacze01@arm.com}
15914039Sstacze01@arm.com
16014039Sstacze01@arm.combool
16114039Sstacze01@arm.comV8PageTableOps4k::isWritable(pte_t pte, unsigned level, bool stage2) const
16214039Sstacze01@arm.com{
16314039Sstacze01@arm.com    return stage2 ? bits(pte, 7, 6)==3 : bits(pte, 7)==0;
16414039Sstacze01@arm.com}
16514039Sstacze01@arm.com
16614039Sstacze01@arm.comAddr
16714039Sstacze01@arm.comV8PageTableOps4k::nextLevelPointer(pte_t pte, unsigned level) const
16814039Sstacze01@arm.com{
16914039Sstacze01@arm.com    if (isLeaf(pte, level)) {
17014039Sstacze01@arm.com        switch (level) {
17114039Sstacze01@arm.com            // no level 0 here
17214039Sstacze01@arm.com            case 1: return mbits(pte, 47, 30);
17314039Sstacze01@arm.com            case 2: return mbits(pte, 47, 21);
17414039Sstacze01@arm.com            case 3: return mbits(pte, 47, 12);
17514039Sstacze01@arm.com            default: panic("bad level %d", level);
17614039Sstacze01@arm.com        }
17714039Sstacze01@arm.com    } else {
17814039Sstacze01@arm.com        return mbits(pte, 47, 12);
17914039Sstacze01@arm.com    }
18014039Sstacze01@arm.com}
18114039Sstacze01@arm.com
18214039Sstacze01@arm.comAddr
18314039Sstacze01@arm.comV8PageTableOps4k::index(Addr va, unsigned level) const
18414039Sstacze01@arm.com{
18514039Sstacze01@arm.com    switch (level) {
18614039Sstacze01@arm.com        case 0: return bits(va, 47, 39) << 3; break;
18714039Sstacze01@arm.com        case 1: return bits(va, 38, 30) << 3; break;
18814039Sstacze01@arm.com        case 2: return bits(va, 29, 21) << 3; break;
18914039Sstacze01@arm.com        case 3: return bits(va, 20, 12) << 3; break;
19014039Sstacze01@arm.com        default: panic("bad level %d", level);
19114039Sstacze01@arm.com    }
19214039Sstacze01@arm.com}
19314039Sstacze01@arm.com
19414039Sstacze01@arm.comAddr
19514039Sstacze01@arm.comV8PageTableOps4k::pageMask(pte_t pte, unsigned level) const
19614039Sstacze01@arm.com{
19714039Sstacze01@arm.com    switch (level) {
19814039Sstacze01@arm.com        // no level 0 here
19914039Sstacze01@arm.com        case 1: return ~mask(30);
20014039Sstacze01@arm.com        case 2: return ~mask(21);
20114039Sstacze01@arm.com        case 3: return bits(pte, 52) ? ~mask(16) : ~mask(12);
20214039Sstacze01@arm.com        default: panic("bad level %d", level);
20314039Sstacze01@arm.com    }
20414039Sstacze01@arm.com}
20514039Sstacze01@arm.com
20614039Sstacze01@arm.comAddr
20714039Sstacze01@arm.comV8PageTableOps4k::walkMask(unsigned level) const
20814039Sstacze01@arm.com{
20914039Sstacze01@arm.com    switch (level) {
21014039Sstacze01@arm.com        case 0: return mask(47, 39);
21114039Sstacze01@arm.com        case 1: return mask(47, 30);
21214039Sstacze01@arm.com        case 2: return mask(47, 21);
21314039Sstacze01@arm.com        case 3: return mask(47, 12);
21414039Sstacze01@arm.com        default: panic("bad level %d", level);
21514039Sstacze01@arm.com    }
21614039Sstacze01@arm.com}
21714039Sstacze01@arm.com
21814039Sstacze01@arm.comunsigned
21914039Sstacze01@arm.comV8PageTableOps4k::firstLevel() const
22014039Sstacze01@arm.com{
22114039Sstacze01@arm.com    return 0;
22214039Sstacze01@arm.com}
22314039Sstacze01@arm.com
22414039Sstacze01@arm.comunsigned
22514039Sstacze01@arm.comV8PageTableOps4k::lastLevel() const
22614039Sstacze01@arm.com{
22714039Sstacze01@arm.com    return 3;
22814039Sstacze01@arm.com}
22914039Sstacze01@arm.com
23014039Sstacze01@arm.combool
23114098Smichiel.vantol@arm.comV8PageTableOps16k::isValid(pte_t pte, unsigned level) const
23214098Smichiel.vantol@arm.com{
23314098Smichiel.vantol@arm.com    switch (level) {
23414098Smichiel.vantol@arm.com        case 0: return  pte & 0x1;
23514098Smichiel.vantol@arm.com        case 1: return  pte & 0x1;
23614098Smichiel.vantol@arm.com        case 2: return  pte & 0x1;
23714098Smichiel.vantol@arm.com        case 3: return (pte & 0x1) && (pte & 0x2);
23814098Smichiel.vantol@arm.com        default: panic("bad level %d", level);
23914098Smichiel.vantol@arm.com    }
24014098Smichiel.vantol@arm.com}
24114098Smichiel.vantol@arm.com
24214098Smichiel.vantol@arm.combool
24314098Smichiel.vantol@arm.comV8PageTableOps16k::isLeaf(pte_t pte, unsigned level) const
24414098Smichiel.vantol@arm.com{
24514098Smichiel.vantol@arm.com    switch (level) {
24614098Smichiel.vantol@arm.com        case 0: return false;
24714098Smichiel.vantol@arm.com        case 1: return false;
24814098Smichiel.vantol@arm.com        case 2: return !(pte & 0x2);
24914098Smichiel.vantol@arm.com        case 3: return true;
25014098Smichiel.vantol@arm.com        default: panic("bad level %d", level);
25114098Smichiel.vantol@arm.com    }
25214098Smichiel.vantol@arm.com}
25314098Smichiel.vantol@arm.com
25414098Smichiel.vantol@arm.combool
25514098Smichiel.vantol@arm.comV8PageTableOps16k::isWritable(pte_t pte, unsigned level, bool stage2) const
25614098Smichiel.vantol@arm.com{
25714098Smichiel.vantol@arm.com    return stage2 ? bits(pte, 7, 6) == 3 : bits(pte, 7) == 0;
25814098Smichiel.vantol@arm.com}
25914098Smichiel.vantol@arm.com
26014098Smichiel.vantol@arm.comAddr
26114098Smichiel.vantol@arm.comV8PageTableOps16k::nextLevelPointer(pte_t pte, unsigned level) const
26214098Smichiel.vantol@arm.com{
26314098Smichiel.vantol@arm.com    if (isLeaf(pte, level)) {
26414098Smichiel.vantol@arm.com        switch (level) {
26514098Smichiel.vantol@arm.com            // no level 0 here
26614098Smichiel.vantol@arm.com            case 1: return mbits(pte, 47, 36);
26714098Smichiel.vantol@arm.com            case 2: return mbits(pte, 47, 25);
26814098Smichiel.vantol@arm.com            case 3: return mbits(pte, 47, 14);
26914098Smichiel.vantol@arm.com            default: panic("bad level %d", level);
27014098Smichiel.vantol@arm.com        }
27114098Smichiel.vantol@arm.com    } else {
27214098Smichiel.vantol@arm.com        return mbits(pte, 47, 12);
27314098Smichiel.vantol@arm.com    }
27414098Smichiel.vantol@arm.com}
27514098Smichiel.vantol@arm.com
27614098Smichiel.vantol@arm.comAddr
27714098Smichiel.vantol@arm.comV8PageTableOps16k::index(Addr va, unsigned level) const
27814098Smichiel.vantol@arm.com{
27914098Smichiel.vantol@arm.com    switch (level) {
28014098Smichiel.vantol@arm.com        case 0: return bits(va, 47, 47) << 3; break;
28114098Smichiel.vantol@arm.com        case 1: return bits(va, 46, 36) << 3; break;
28214098Smichiel.vantol@arm.com        case 2: return bits(va, 35, 25) << 3; break;
28314098Smichiel.vantol@arm.com        case 3: return bits(va, 24, 14) << 3; break;
28414098Smichiel.vantol@arm.com        default: panic("bad level %d", level);
28514098Smichiel.vantol@arm.com    }
28614098Smichiel.vantol@arm.com}
28714098Smichiel.vantol@arm.com
28814098Smichiel.vantol@arm.comAddr
28914098Smichiel.vantol@arm.comV8PageTableOps16k::pageMask(pte_t pte, unsigned level) const
29014098Smichiel.vantol@arm.com{
29114098Smichiel.vantol@arm.com    switch (level) {
29214098Smichiel.vantol@arm.com        // no level 0 here
29314098Smichiel.vantol@arm.com        case 1: return ~mask(36);
29414098Smichiel.vantol@arm.com        // 16K granule supports contiguous entries also at L2; - 1G
29514098Smichiel.vantol@arm.com        case 2: return bits(pte, 52) ? ~mask(30) : ~mask(25);
29614098Smichiel.vantol@arm.com        // as well as at L3; - 2M
29714098Smichiel.vantol@arm.com        case 3: return bits(pte, 52) ? ~mask(21) : ~mask(14);
29814098Smichiel.vantol@arm.com        default: panic("bad level %d", level);
29914098Smichiel.vantol@arm.com    }
30014098Smichiel.vantol@arm.com}
30114098Smichiel.vantol@arm.com
30214098Smichiel.vantol@arm.comAddr
30314098Smichiel.vantol@arm.comV8PageTableOps16k::walkMask(unsigned level) const
30414098Smichiel.vantol@arm.com{
30514098Smichiel.vantol@arm.com    switch (level) {
30614098Smichiel.vantol@arm.com        case 0: return ~mask(47);
30714098Smichiel.vantol@arm.com        case 1: return ~mask(36);
30814098Smichiel.vantol@arm.com        case 2: return ~mask(25);
30914098Smichiel.vantol@arm.com        case 3: return ~mask(14);
31014098Smichiel.vantol@arm.com        default: panic("bad level %d", level);
31114098Smichiel.vantol@arm.com    }
31214098Smichiel.vantol@arm.com}
31314098Smichiel.vantol@arm.com
31414098Smichiel.vantol@arm.comunsigned
31514098Smichiel.vantol@arm.comV8PageTableOps16k::firstLevel() const
31614098Smichiel.vantol@arm.com{
31714098Smichiel.vantol@arm.com    return 0;
31814098Smichiel.vantol@arm.com}
31914098Smichiel.vantol@arm.com
32014098Smichiel.vantol@arm.comunsigned
32114098Smichiel.vantol@arm.comV8PageTableOps16k::lastLevel() const
32214098Smichiel.vantol@arm.com{
32314098Smichiel.vantol@arm.com    return 3;
32414098Smichiel.vantol@arm.com}
32514098Smichiel.vantol@arm.com
32614098Smichiel.vantol@arm.combool
32714039Sstacze01@arm.comV8PageTableOps64k::isValid(pte_t pte, unsigned level) const
32814039Sstacze01@arm.com{
32914039Sstacze01@arm.com    switch (level) {
33014039Sstacze01@arm.com        case 1: return  pte & 0x1;
33114039Sstacze01@arm.com        case 2: return  pte & 0x1;
33214039Sstacze01@arm.com        case 3: return (pte & 0x1) && (pte & 0x2);
33314039Sstacze01@arm.com        default: panic("bad level %d", level);
33414039Sstacze01@arm.com    }
33514039Sstacze01@arm.com}
33614039Sstacze01@arm.com
33714039Sstacze01@arm.combool
33814039Sstacze01@arm.comV8PageTableOps64k::isLeaf(pte_t pte, unsigned level) const
33914039Sstacze01@arm.com{
34014039Sstacze01@arm.com    switch (level) {
34114039Sstacze01@arm.com        case 1: return false;
34214039Sstacze01@arm.com        case 2: return !(pte & 0x2);
34314039Sstacze01@arm.com        case 3: return true;
34414039Sstacze01@arm.com        default: panic("bad level %d", level);
34514039Sstacze01@arm.com    }
34614039Sstacze01@arm.com}
34714039Sstacze01@arm.com
34814039Sstacze01@arm.combool
34914039Sstacze01@arm.comV8PageTableOps64k::isWritable(pte_t pte, unsigned level, bool stage2) const
35014039Sstacze01@arm.com{
35114039Sstacze01@arm.com    return stage2 ? bits(pte, 7, 6)==3 : bits(pte, 7)==0;
35214039Sstacze01@arm.com}
35314039Sstacze01@arm.com
35414039Sstacze01@arm.comAddr
35514039Sstacze01@arm.comV8PageTableOps64k::nextLevelPointer(pte_t pte, unsigned level) const
35614039Sstacze01@arm.com{
35714039Sstacze01@arm.com    if (isLeaf(pte, level)) {
35814039Sstacze01@arm.com        switch (level) {
35914039Sstacze01@arm.com            // no level 1 here
36014039Sstacze01@arm.com            case 2: return mbits(pte, 47, 29);
36114039Sstacze01@arm.com            case 3: return mbits(pte, 47, 16);
36214039Sstacze01@arm.com            default: panic("bad level %d", level);
36314039Sstacze01@arm.com        }
36414039Sstacze01@arm.com    } else {
36514039Sstacze01@arm.com        return mbits(pte, 47, 16);
36614039Sstacze01@arm.com    }
36714039Sstacze01@arm.com}
36814039Sstacze01@arm.com
36914039Sstacze01@arm.comAddr
37014039Sstacze01@arm.comV8PageTableOps64k::index(Addr va, unsigned level) const
37114039Sstacze01@arm.com{
37214039Sstacze01@arm.com    switch (level) {
37314039Sstacze01@arm.com        case 1: return bits(va, 47, 42) << 3; break;
37414039Sstacze01@arm.com        case 2: return bits(va, 41, 29) << 3; break;
37514039Sstacze01@arm.com        case 3: return bits(va, 28, 16) << 3; break;
37614039Sstacze01@arm.com        default: panic("bad level %d", level);
37714039Sstacze01@arm.com    }
37814039Sstacze01@arm.com}
37914039Sstacze01@arm.com
38014039Sstacze01@arm.comAddr
38114039Sstacze01@arm.comV8PageTableOps64k::pageMask(pte_t pte, unsigned level) const
38214039Sstacze01@arm.com{
38314039Sstacze01@arm.com    switch (level) {
38414039Sstacze01@arm.com        // no level 1 here
38514039Sstacze01@arm.com        case 2: return ~mask(29);
38614039Sstacze01@arm.com        case 3: return bits(pte, 52) ? ~mask(21) : ~mask(16);
38714039Sstacze01@arm.com        default: panic("bad level %d", level);
38814039Sstacze01@arm.com    }
38914039Sstacze01@arm.com}
39014039Sstacze01@arm.com
39114039Sstacze01@arm.comAddr
39214039Sstacze01@arm.comV8PageTableOps64k::walkMask(unsigned level) const
39314039Sstacze01@arm.com{
39414039Sstacze01@arm.com    switch (level) {
39514039Sstacze01@arm.com        case 1: return mask(47, 42);
39614039Sstacze01@arm.com        case 2: return mask(47, 29);
39714039Sstacze01@arm.com        case 3: return mask(47, 16);
39814039Sstacze01@arm.com        default: panic("bad level %d", level);
39914039Sstacze01@arm.com    }
40014039Sstacze01@arm.com}
40114039Sstacze01@arm.com
40214039Sstacze01@arm.comunsigned
40314039Sstacze01@arm.comV8PageTableOps64k::firstLevel() const
40414039Sstacze01@arm.com{
40514039Sstacze01@arm.com    return 1;
40614039Sstacze01@arm.com}
40714039Sstacze01@arm.com
40814039Sstacze01@arm.comunsigned
40914039Sstacze01@arm.comV8PageTableOps64k::lastLevel() const
41014039Sstacze01@arm.com{
41114039Sstacze01@arm.com    return 3;
41214039Sstacze01@arm.com}
413