pussuw commented on code in PR #13486:
URL: https://github.com/apache/nuttx/pull/13486#discussion_r1762545393
##########
arch/arm64/src/common/arm64_arch.h:
##########
@@ -466,7 +465,7 @@ static inline int arch_get_exception_depth(void)
static inline uint64_t arch_get_current_tcb(void)
{
- return read_sysreg(tpidr_el1);
+ return read_sysreg(tpidr_el0);
Review Comment:
Ok, will you handle arch_get_current_tcb differently then? Using tpidr_el0
inside the kernel is dangerous as tpidr_el0 is in fact writable from el0 /
user-space
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
