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

risc-v: fix signature for Arch_setTLSRegister()

Browse source 
Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
This commit is contained in:
Axel Heider 2021-08-11 13:29:25 +02:00 committed by Gerwin Klein
parent 646deeb4d4
commit f8054d41dc
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -238,10 +238,11 @@ static inline void arch_pause(void)
#endif
/* Update the value of the actual register to hold the expected value */
static inline void Arch_setTLSRegister(word_t tls_base)
static inline exception_t Arch_setTLSRegister(word_t tls_base)
{
/* The register is always reloaded upon return from kernel. */
setRegister(NODE_STATE(ksCurThread), TLS_BASE, tls_base);
return EXCEPTION_NONE;
}
#endif // __ASSEMBLER__