On 2013-07-10 06:23, peter.crosthwa...@xilinx.com wrote:
+static int vbar_write(CPUARMState *env, const ARMCPRegInfo *ri,
+ uint64_t value)
+{
+ value &= (1 << 31);
Is the above correct?
+ env->cp15.c12_vbar = value & ~0x1Ful;
+ return 0;
+}
Shouldn't this be
{
env->cp15.c12_vbar = (uint32_t) (value & ~0x1FUL);
return 0;
}
?
--
Sebastian Huber, embedded brains GmbH
Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone : +49 89 189 47 41-16
Fax : +49 89 189 47 41-09
E-Mail : sebastian.hu...@embedded-brains.de
PGP : Public key available on request.
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.
