2 * Copyright (c) 2009-2014, 2016-2018 ARM Limited
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.
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.
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.
40 #include "arch/arm/utility.hh"
44 #include "arch/arm/faults.hh"
45 #include "arch/arm/isa_traits.hh"
46 #include "arch/arm/system.hh"
47 #include "arch/arm/tlb.hh"
48 #include "arch/arm/vtophys.hh"
49 #include "cpu/base.hh"
50 #include "cpu/checker/cpu.hh"
51 #include "cpu/thread_context.hh"
52 #include "mem/fs_translating_port_proxy.hh"
53 #include "sim/full_system.hh"
58 initCPU(ThreadContext
*tc
, int cpuId
)
60 // Reset CP15?? What does that mean -- ali
64 static Fault reset
= std::make_shared
<Reset
>();
69 getArgument(ThreadContext
*tc
, int &number
, uint16_t size
, bool fp
)
72 panic("getArgument() only implemented for full system mode.\n");
77 panic("getArgument(): Floating point arguments not implemented\n");
80 if (size
== (uint16_t)(-1))
81 size
= sizeof(uint64_t);
83 if (number
< 8 /*NumArgumentRegs64*/) {
84 return tc
->readIntReg(number
);
86 panic("getArgument(): No support reading stack args for AArch64\n");
89 if (size
== (uint16_t)(-1))
90 // todo: should this not be sizeof(uint32_t) rather?
91 size
= ArmISA::MachineBytes
;
93 if (number
< NumArgumentRegs
) {
94 // If the argument is 64 bits, it must be in an even regiser
95 // number. Increment the number here if it isn't even.
96 if (size
== sizeof(uint64_t)) {
97 if ((number
% 2) != 0)
99 // Read the two halves of the data. Number is inc here to
100 // get the second half of the 64 bit reg.
102 tmp
= tc
->readIntReg(number
++);
103 tmp
|= tc
->readIntReg(number
) << 32;
106 return tc
->readIntReg(number
);
109 Addr sp
= tc
->readIntReg(StackPointerReg
);
110 FSTranslatingPortProxy
&vp
= tc
->getVirtProxy();
112 if (size
== sizeof(uint64_t)) {
113 // If the argument is even it must be aligned
114 if ((number
% 2) != 0)
116 arg
= vp
.read
<uint64_t>(sp
+
117 (number
-NumArgumentRegs
) * sizeof(uint32_t));
118 // since two 32 bit args == 1 64 bit arg, increment number
121 arg
= vp
.read
<uint32_t>(sp
+
122 (number
-NumArgumentRegs
) * sizeof(uint32_t));
127 panic("getArgument() should always return\n");
131 skipFunction(ThreadContext
*tc
)
133 PCState newPC
= tc
->pcState();
135 newPC
.set(tc
->readIntReg(INTREG_X30
));
137 newPC
.set(tc
->readIntReg(ReturnAddressReg
) & ~ULL(1));
140 CheckerCPU
*checker
= tc
->getCheckerCpuPtr();
142 tc
->pcStateNoRecord(newPC
);
149 copyVecRegs(ThreadContext
*src
, ThreadContext
*dest
)
151 auto src_mode
= RenameMode
<ArmISA::ISA
>::mode(src
->pcState());
153 // The way vector registers are copied (VecReg vs VecElem) is relevant
154 // in the O3 model only.
155 if (src_mode
== Enums::Full
) {
156 for (auto idx
= 0; idx
< NumVecRegs
; idx
++)
157 dest
->setVecRegFlat(idx
, src
->readVecRegFlat(idx
));
159 for (auto idx
= 0; idx
< NumVecRegs
; idx
++)
160 for (auto elem_idx
= 0; elem_idx
< NumVecElemPerVecReg
; elem_idx
++)
161 dest
->setVecElemFlat(
162 idx
, elem_idx
, src
->readVecElemFlat(idx
, elem_idx
));
167 copyRegs(ThreadContext
*src
, ThreadContext
*dest
)
169 for (int i
= 0; i
< NumIntRegs
; i
++)
170 dest
->setIntRegFlat(i
, src
->readIntRegFlat(i
));
172 for (int i
= 0; i
< NumFloatRegs
; i
++)
173 dest
->setFloatRegFlat(i
, src
->readFloatRegFlat(i
));
175 for (int i
= 0; i
< NumCCRegs
; i
++)
176 dest
->setCCReg(i
, src
->readCCReg(i
));
178 for (int i
= 0; i
< NumMiscRegs
; i
++)
179 dest
->setMiscRegNoEffect(i
, src
->readMiscRegNoEffect(i
));
181 copyVecRegs(src
, dest
);
183 // setMiscReg "with effect" will set the misc register mapping correctly.
184 // e.g. updateRegMap(val)
185 dest
->setMiscReg(MISCREG_CPSR
, src
->readMiscRegNoEffect(MISCREG_CPSR
));
187 // Copy over the PC State
188 dest
->pcState(src
->pcState());
190 // Invalidate the tlb misc register cache
191 dynamic_cast<TLB
*>(dest
->getITBPtr())->invalidateMiscReg();
192 dynamic_cast<TLB
*>(dest
->getDTBPtr())->invalidateMiscReg();
196 inSecureState(ThreadContext
*tc
)
198 SCR scr
= inAArch64(tc
) ? tc
->readMiscReg(MISCREG_SCR_EL3
) :
199 tc
->readMiscReg(MISCREG_SCR
);
200 return ArmSystem::haveSecurity(tc
) && inSecureState(
201 scr
, tc
->readMiscReg(MISCREG_CPSR
));
205 isSecureBelowEL3(ThreadContext
*tc
)
207 SCR scr
= tc
->readMiscReg(MISCREG_SCR_EL3
);
208 return ArmSystem::haveEL(tc
, EL3
) && scr
.ns
== 0;
212 inAArch64(ThreadContext
*tc
)
214 CPSR cpsr
= tc
->readMiscReg(MISCREG_CPSR
);
215 return opModeIs64((OperatingMode
) (uint8_t) cpsr
.mode
);
219 longDescFormatInUse(ThreadContext
*tc
)
221 TTBCR ttbcr
= tc
->readMiscReg(MISCREG_TTBCR
);
222 return ArmSystem::haveLPAE(tc
) && ttbcr
.eae
;
226 readMPIDR(ArmSystem
*arm_sys
, ThreadContext
*tc
)
228 CPSR cpsr
= tc
->readMiscReg(MISCREG_CPSR
);
229 const ExceptionLevel current_el
=
230 opModeToEL((OperatingMode
) (uint8_t) cpsr
.mode
);
232 const bool is_secure
= isSecureBelowEL3(tc
);
234 switch (current_el
) {
236 // Note: in MsrMrs instruction we read the register value before
237 // checking access permissions. This means that EL0 entry must
238 // be part of the table even if MPIDR is not accessible in user
240 warn_once("Trying to read MPIDR at EL0\n");
243 if (ArmSystem::haveEL(tc
, EL2
) && !is_secure
)
244 return tc
->readMiscReg(MISCREG_VMPIDR_EL2
);
246 return getMPIDR(arm_sys
, tc
);
249 return getMPIDR(arm_sys
, tc
);
251 panic("Invalid EL for reading MPIDR register\n");
256 getMPIDR(ArmSystem
*arm_sys
, ThreadContext
*tc
)
258 // Multiprocessor Affinity Register MPIDR from Cortex(tm)-A15 Technical
261 // bit 31 - Multi-processor extensions available
262 // bit 30 - Uni-processor system
263 // bit 24 - Multi-threaded cores
264 // bit 11-8 - Cluster ID
267 // We deliberately extend both the Cluster ID and CPU ID fields to allow
268 // for simulation of larger systems
269 assert((0 <= tc
->cpuId()) && (tc
->cpuId() < 256));
270 assert(tc
->socketId() < 65536);
271 if (arm_sys
->multiThread
) {
272 return 0x80000000 | // multiprocessor extensions available
273 0x01000000 | // multi-threaded cores
275 } else if (arm_sys
->multiProc
) {
276 return 0x80000000 | // multiprocessor extensions available
277 tc
->cpuId() | tc
->socketId() << 8;
279 return 0x80000000 | // multiprocessor extensions available
280 0x40000000 | // in up system
281 tc
->cpuId() | tc
->socketId() << 8;
286 ELIs64(ThreadContext
*tc
, ExceptionLevel el
)
288 return !ELIs32(tc
, el
);
292 ELIs32(ThreadContext
*tc
, ExceptionLevel el
)
295 std::tie(known
, aarch32
) = ELUsingAArch32K(tc
, el
);
296 panic_if(!known
, "EL state is UNKNOWN");
300 std::pair
<bool, bool>
301 ELUsingAArch32K(ThreadContext
*tc
, ExceptionLevel el
)
303 // Return true if the specified EL is in aarch32 state.
304 const bool have_el3
= ArmSystem::haveSecurity(tc
);
305 const bool have_el2
= ArmSystem::haveVirtualization(tc
);
307 panic_if(el
== EL2
&& !have_el2
, "Asking for EL2 when it doesn't exist");
308 panic_if(el
== EL3
&& !have_el3
, "Asking for EL3 when it doesn't exist");
311 known
= aarch32
= false;
312 if (ArmSystem::highestELIs64(tc
) && ArmSystem::highestEL(tc
) == el
) {
313 // Target EL is the highest one in a system where
314 // the highest is using AArch64.
315 known
= true; aarch32
= false;
316 } else if (!ArmSystem::highestELIs64(tc
)) {
317 // All ELs are using AArch32:
318 known
= true; aarch32
= true;
320 SCR scr
= tc
->readMiscReg(MISCREG_SCR_EL3
);
321 bool aarch32_below_el3
= (have_el3
&& scr
.rw
== 0);
323 HCR hcr
= tc
->readMiscReg(MISCREG_HCR_EL2
);
324 bool aarch32_at_el1
= (aarch32_below_el3
326 && !isSecureBelowEL3(tc
) && hcr
.rw
== 0));
328 // Only know if EL0 using AArch32 from PSTATE
329 if (el
== EL0
&& !aarch32_at_el1
) {
330 // EL0 controlled by PSTATE
331 CPSR cpsr
= tc
->readMiscReg(MISCREG_CPSR
);
333 known
= (cpsr
.el
== EL0
);
334 aarch32
= (cpsr
.width
== 1);
337 aarch32
= (aarch32_below_el3
&& el
!= EL3
)
338 || (aarch32_at_el1
&& (el
== EL0
|| el
== EL1
) );
342 return std::make_pair(known
, aarch32
);
346 isBigEndian64(ThreadContext
*tc
)
348 switch (opModeToEL(currOpMode(tc
))) {
350 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL3
)).ee
;
352 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL2
)).ee
;
354 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL1
)).ee
;
356 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL1
)).e0e
;
358 panic("Invalid exception level");
364 badMode32(ThreadContext
*tc
, OperatingMode mode
)
366 return unknownMode32(mode
) || !ArmSystem::haveEL(tc
, opModeToEL(mode
));
370 badMode(ThreadContext
*tc
, OperatingMode mode
)
372 return unknownMode(mode
) || !ArmSystem::haveEL(tc
, opModeToEL(mode
));
376 purifyTaggedAddr(Addr addr
, ThreadContext
*tc
, ExceptionLevel el
,
382 if (bits(addr
, 55, 48) == 0xFF && tcr
.tbi1
)
383 return addr
| mask(63, 55);
384 else if (!bits(addr
, 55, 48) && tcr
.tbi0
)
385 return bits(addr
,55, 0);
388 assert(ArmSystem::haveVirtualization(tc
));
389 tcr
= tc
->readMiscReg(MISCREG_TCR_EL2
);
391 return addr
& mask(56);
394 assert(ArmSystem::haveSecurity(tc
));
396 return addr
& mask(56);
399 panic("Invalid exception level");
403 return addr
; // Nothing to do if this is not a tagged address
407 purifyTaggedAddr(Addr addr
, ThreadContext
*tc
, ExceptionLevel el
)
414 tcr
= tc
->readMiscReg(MISCREG_TCR_EL1
);
415 if (bits(addr
, 55, 48) == 0xFF && tcr
.tbi1
)
416 return addr
| mask(63, 55);
417 else if (!bits(addr
, 55, 48) && tcr
.tbi0
)
418 return bits(addr
,55, 0);
421 assert(ArmSystem::haveVirtualization(tc
));
422 tcr
= tc
->readMiscReg(MISCREG_TCR_EL2
);
424 return addr
& mask(56);
427 assert(ArmSystem::haveSecurity(tc
));
428 tcr
= tc
->readMiscReg(MISCREG_TCR_EL3
);
430 return addr
& mask(56);
433 panic("Invalid exception level");
437 return addr
; // Nothing to do if this is not a tagged address
443 return addr
& ~(PageBytes
- 1);
449 return (addr
+ PageBytes
- 1) & ~(PageBytes
- 1);
453 mcrMrc15TrapToHyp(const MiscRegIndex miscReg
, HCR hcr
, CPSR cpsr
, SCR scr
,
454 HDCR hdcr
, HSTR hstr
, HCPTR hcptr
, uint32_t iss
)
462 bool trapToHype
= false;
465 if (!inSecureState(scr
, cpsr
) && (cpsr
.mode
!= MODE_HYP
)) {
466 mcrMrcIssExtract(iss
, isRead
, crm
, rt
, crn
, opc1
, opc2
);
467 trapToHype
= ((uint32_t) hstr
) & (1 << crn
);
468 trapToHype
|= hdcr
.tpm
&& (crn
== 9) && (crm
>= 12);
469 trapToHype
|= hcr
.tidcp
&& (
470 ((crn
== 9) && ((crm
<= 2) || ((crm
>= 5) && (crm
<= 8)))) ||
471 ((crn
== 10) && ((crm
<= 1) || (crm
== 4) || (crm
== 8))) ||
472 ((crn
== 11) && ((crm
<= 8) || (crm
== 15))) );
475 switch (unflattenMiscReg(miscReg
)) {
477 trapToHype
= hcptr
.tcpac
;
483 trapToHype
= hcr
.tid1
;
489 trapToHype
= hcr
.tid2
;
491 case MISCREG_ID_PFR0
:
492 case MISCREG_ID_PFR1
:
493 case MISCREG_ID_DFR0
:
494 case MISCREG_ID_AFR0
:
495 case MISCREG_ID_MMFR0
:
496 case MISCREG_ID_MMFR1
:
497 case MISCREG_ID_MMFR2
:
498 case MISCREG_ID_MMFR3
:
499 case MISCREG_ID_ISAR0
:
500 case MISCREG_ID_ISAR1
:
501 case MISCREG_ID_ISAR2
:
502 case MISCREG_ID_ISAR3
:
503 case MISCREG_ID_ISAR4
:
504 case MISCREG_ID_ISAR5
:
505 trapToHype
= hcr
.tid3
;
510 trapToHype
= hcr
.tsw
;
512 case MISCREG_DCIMVAC
:
513 case MISCREG_DCCIMVAC
:
514 case MISCREG_DCCMVAC
:
515 trapToHype
= hcr
.tpc
;
517 case MISCREG_ICIMVAU
:
518 case MISCREG_ICIALLU
:
519 case MISCREG_ICIALLUIS
:
520 case MISCREG_DCCMVAU
:
521 trapToHype
= hcr
.tpu
;
523 case MISCREG_TLBIALLIS
:
524 case MISCREG_TLBIMVAIS
:
525 case MISCREG_TLBIASIDIS
:
526 case MISCREG_TLBIMVAAIS
:
527 case MISCREG_TLBIMVALIS
:
528 case MISCREG_TLBIMVAALIS
:
529 case MISCREG_DTLBIALL
:
530 case MISCREG_ITLBIALL
:
531 case MISCREG_DTLBIMVA
:
532 case MISCREG_ITLBIMVA
:
533 case MISCREG_DTLBIASID
:
534 case MISCREG_ITLBIASID
:
535 case MISCREG_TLBIMVAA
:
536 case MISCREG_TLBIALL
:
537 case MISCREG_TLBIMVA
:
538 case MISCREG_TLBIMVAL
:
539 case MISCREG_TLBIMVAAL
:
540 case MISCREG_TLBIASID
:
541 trapToHype
= hcr
.ttlb
;
544 trapToHype
= hcr
.tac
;
561 case MISCREG_CONTEXTIDR
:
562 trapToHype
= hcr
.tvm
& !isRead
;
565 trapToHype
= hdcr
.tpmcr
;
567 // No default action needed
578 mcrMrc14TrapToHyp(const MiscRegIndex miscReg
, HCR hcr
, CPSR cpsr
, SCR scr
,
579 HDCR hdcr
, HSTR hstr
, HCPTR hcptr
, uint32_t iss
)
587 bool trapToHype
= false;
589 if (!inSecureState(scr
, cpsr
) && (cpsr
.mode
!= MODE_HYP
)) {
590 mcrMrcIssExtract(iss
, isRead
, crm
, rt
, crn
, opc1
, opc2
);
591 inform("trap check M:%x N:%x 1:%x 2:%x hdcr %x, hcptr %x, hstr %x\n",
592 crm
, crn
, opc1
, opc2
, hdcr
, hcptr
, hstr
);
593 trapToHype
= hdcr
.tda
&& (opc1
== 0);
594 trapToHype
|= hcptr
.tta
&& (opc1
== 1);
596 switch (unflattenMiscReg(miscReg
)) {
597 case MISCREG_DBGOSLSR
:
598 case MISCREG_DBGOSLAR
:
599 case MISCREG_DBGOSDLR
:
600 case MISCREG_DBGPRCR
:
601 trapToHype
= hdcr
.tdosa
;
603 case MISCREG_DBGDRAR
:
604 case MISCREG_DBGDSAR
:
605 trapToHype
= hdcr
.tdra
;
608 trapToHype
= hcr
.tid0
;
612 trapToHype
= hstr
.tjdbx
;
616 trapToHype
= hstr
.ttee
;
618 // No default action needed
628 mcrrMrrc15TrapToHyp(const MiscRegIndex miscReg
, CPSR cpsr
, SCR scr
, HSTR hstr
,
629 HCR hcr
, uint32_t iss
)
637 bool trapToHype
= false;
639 if (!inSecureState(scr
, cpsr
) && (cpsr
.mode
!= MODE_HYP
)) {
640 // This is technically the wrong function, but we can re-use it for
641 // the moment because we only need one field, which overlaps with the
643 mcrMrcIssExtract(iss
, isRead
, crm
, rt
, crn
, opc1
, opc2
);
644 trapToHype
= ((uint32_t) hstr
) & (1 << crm
);
647 switch (unflattenMiscReg(miscReg
)) {
663 case MISCREG_CONTEXTIDR
:
664 trapToHype
= hcr
.tvm
& !isRead
;
666 // No default action needed
676 decodeMrsMsrBankedReg(uint8_t sysM
, bool r
, bool &isIntReg
, int ®Idx
,
677 CPSR cpsr
, SCR scr
, NSACR nsacr
, bool checkSecurity
)
679 OperatingMode mode
= MODE_UNDEFINED
;
682 // R mostly indicates if its a int register or a misc reg, we override
683 // below if the few corner cases
685 // Loosely based on ARM ARM issue C section B9.3.10
690 regIdx
= MISCREG_SPSR_FIQ
;
694 regIdx
= MISCREG_SPSR_IRQ
;
698 regIdx
= MISCREG_SPSR_SVC
;
702 regIdx
= MISCREG_SPSR_ABT
;
706 regIdx
= MISCREG_SPSR_UND
;
707 mode
= MODE_UNDEFINED
;
710 regIdx
= MISCREG_SPSR_MON
;
714 regIdx
= MISCREG_SPSR_HYP
;
722 int sysM4To3
= bits(sysM
, 4, 3);
726 regIdx
= intRegInMode(mode
, bits(sysM
, 2, 0) + 8);
727 } else if (sysM4To3
== 1) {
729 regIdx
= intRegInMode(mode
, bits(sysM
, 2, 0) + 8);
730 } else if (sysM4To3
== 3) {
731 if (bits(sysM
, 1) == 0) {
733 regIdx
= intRegInMode(mode
, 14 - bits(sysM
, 0));
736 if (bits(sysM
, 0) == 1) {
737 regIdx
= intRegInMode(mode
, 13); // R13 in HYP
740 regIdx
= MISCREG_ELR_HYP
;
743 } else { // Other Banked registers
744 int sysM2
= bits(sysM
, 2);
745 int sysM1
= bits(sysM
, 1);
747 mode
= (OperatingMode
) ( ((sysM2
|| sysM1
) << 0) |
749 ((sysM2
&& !sysM1
) << 2) |
750 ((sysM2
&& sysM1
) << 3) |
752 regIdx
= intRegInMode(mode
, 14 - bits(sysM
, 0));
753 // Don't flatten the register here. This is going to go through
754 // setIntReg() which will do the flattening
755 ok
&= mode
!= cpsr
.mode
;
759 // Check that the requested register is accessable from the current mode
760 if (ok
&& checkSecurity
&& mode
!= cpsr
.mode
) {
767 ok
&= mode
!= MODE_HYP
;
768 ok
&= (mode
!= MODE_MON
) || !scr
.ns
;
771 ok
&= mode
!= MODE_MON
;
772 ok
&= (mode
!= MODE_FIQ
) || !nsacr
.rfr
;
779 ok
&= mode
!= MODE_HYP
;
780 ok
&= (mode
!= MODE_MON
) || !scr
.ns
;
781 ok
&= (mode
!= MODE_FIQ
) || !nsacr
.rfr
;
783 // can access everything, no further checks required
787 panic("unknown Mode 0x%x\n", cpsr
.mode
);
795 SPAlignmentCheckEnabled(ThreadContext
* tc
)
797 switch (opModeToEL(currOpMode(tc
))) {
799 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL3
)).sa
;
801 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL2
)).sa
;
803 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL1
)).sa
;
805 return ((SCTLR
) tc
->readMiscReg(MISCREG_SCTLR_EL1
)).sa0
;
807 panic("Invalid exception level");
813 decodePhysAddrRange64(uint8_t pa_enc
)
831 panic("Invalid phys. address range encoding");
836 encodePhysAddrRange64(int pa_size
)
852 panic("Invalid phys. address range");
856 } // namespace ArmISA