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

trivial: fix typos in comments

Browse source 
Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider 2021-08-12 21:02:24 +02:00 committed by Gerwin Klein
parent 9416cd8f97
commit 16b82ecdb1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
include/arch/x86/arch/machine.h
View file

@ -366,7 +366,7 @@ static inline void Arch_finaliseInterrupt(void)
static inline void x86_set_tls_segment_base(word_t tls_base);
/* 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 exception_t Arch_setTLSRegister(word_t tls_base)
{
word_t sanitised = Mode_sanitiseRegister(TLS_BASE, tls_base);
@ -378,7 +378,7 @@ static inline exception_t Arch_setTLSRegister(word_t tls_base)
#ifndef CONFIG_FSGSBASE_INST
/*
* The context is only updated from the register on a context switch
* if the FSGS instructions are enabled. When they aren't it msut be
* if the FSGS instructions are enabled. When they aren't it must be
* manually stored here.
*/
setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base);