1/*
2 * Copyright (c) 2010-2013 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
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated

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

1710 Bitfield<38> tbi1;
1711 // Common
1712 Bitfield<31> eae;
1713 // TCR_EL2/3 (AArch64)
1714 Bitfield<18, 16> ps;
1715 Bitfield<20> tbi;
1716 EndBitUnion(TTBCR)
1717
1718 BitUnion32(HTCR)
1719 Bitfield<2, 0> t0sz;
1720 Bitfield<9, 8> irgn0;
1721 Bitfield<11, 10> orgn0;
1722 Bitfield<13, 12> sh0;
1723 EndBitUnion(HTCR)
1724
1725 BitUnion32(VTCR_t)

--- 151 unchanged lines hidden ---