RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

trivial: fix typo

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2021-06-14 03:33:37 +02:00
parent b5aac26d10
commit 32728ecd1f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
include/arch/riscv/arch/machine.h
View File

@@ -261,7 +261,7 @@ static inline paddr_t CONST kpptr_to_paddr(void *pptr)
return (paddr_t)pptr - KERNEL_ELF_BASE_OFFSET;
}
/* Update the value of the actual regsiter to hold the expected value */
/* Update the value of the actual register to hold the expected value */
static inline void Arch_setTLSRegister(word_t tls_base)
{
/* The register is always reloaded upon return from kernel. */