1/*
2 * Copyright (c) 2010, 2012-2013, 2015 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

--- 51 unchanged lines hidden (view full) ---

60 _haveSecurity(p->have_security),
61 _haveLPAE(p->have_lpae),
62 _haveVirtualization(p->have_virtualization),
63 _genericTimer(nullptr),
64 _highestELIs64(p->highest_el_is_64),
65 _resetAddr64(p->reset_addr_64),
66 _physAddrRange64(p->phys_addr_range_64),
67 _haveLargeAsid64(p->have_large_asid_64),
68 multiProc(p->multi_proc)
69{
70 // Check if the physical address range is valid
71 if (_highestELIs64 && (
72 _physAddrRange64 < 32 ||
73 _physAddrRange64 > 48 ||
74 (_physAddrRange64 % 4 != 0 && _physAddrRange64 != 42))) {
75 fatal("Invalid physical address range (%d)\n", _physAddrRange64);

--- 206 unchanged lines hidden ---