On 12/17/2013 07:12 AM, Peter Maydell wrote: > - uint32_t c13_tls1; /* User RW Thread register. */ > - uint32_t c13_tls2; /* User RO Thread register. */ > - uint32_t c13_tls3; /* Privileged Thread register. */ > + uint64_t tpidr_el0; /* User RW Thread register. */ > + uint64_t tpidrro_el0; /* User RO Thread register. */ > + uint64_t tpidr_el1; /* Privileged Thread register. */
Not target_ulong, continuing to use 32bit slot for pure AA32? r~
