[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Xen-devel] 32-bit ARM guest on 64-bit ARM Xen



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@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel


 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.