portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

trivial: fix typo

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2021-06-25 10:00:20 +02:00
parent 613352e832
commit 9f90e39550
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -248,7 +248,7 @@ void plat_invalidateL2Range(paddr_t start, paddr_t end);
void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end);
/* 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. */