arm64: change some format

fix the comment in https://github.com/apache/nuttx/pull/14980

Signed-off-by: hujun5 <hujun5@xiaomi.com>
This commit is contained in:
hujun5 2024-11-29 18:13:46 +08:00 committed by Xiang Xiao
parent 74dfcdfbd6
commit ab0fb80e2b

View file

@ -192,7 +192,11 @@ uint64_t *arm64_syscall(uint64_t *regs)
/* Restore the cpu lock */
restore_critical_section(tcb, cpu);
#ifdef CONFIG_ARCH_ADDRENV
addrenv_switch(tcb);
#endif
break;
case SYS_switch_context:
/* Update scheduler parameters */
@ -204,6 +208,9 @@ uint64_t *arm64_syscall(uint64_t *regs)
/* Restore the cpu lock */
restore_critical_section(tcb, cpu);
#ifdef CONFIG_ARCH_ADDRENV
addrenv_switch(tcb);
#endif
break;
#ifdef CONFIG_BUILD_KERNEL
@ -315,18 +322,5 @@ uint64_t *arm64_syscall(uint64_t *regs)
break;
}
#ifdef CONFIG_ARCH_ADDRENV
/* Make sure that the address environment for the previously
* running task is closed down gracefully (data caches dump,
* MMU flushed) and set up the address environment for the new
* thread at the head of the ready-to-run list.
*/
if (SYS_restore_context == cmd || SYS_switch_context == cmd)
{
addrenv_switch(NULL);
}
#endif
return tcb->xcp.regs;
}