On Wed, 2015-04-29 at 12:21 -0400, Robert VanVossen wrote: > This yields xen/xen/arch/arm/domain.c:208 which has the following line: > > WRITE_SYSREG32(n->arch.teecr, TEECR32_EL1);
This is in a "if ( is_32bit_domain(p->domain) && cpu_has_thumbee )" condition, so if it isn't a 32-bit model issue it might be a ThumbEE one? Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
