2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) ARM Limited, 2014
5 * Copyright (c) Siemens AG, 2016
8 * Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
9 * Jan Kiszka <jan.kiszka@siemens.com>
11 * This work is licensed under the terms of the GNU GPL, version 2. See
12 * the COPYING file in the top-level directory.
16 .section ".boot", "ax"
44 mcr p15, 0, r0, c12, c0, 0 @ VBAR