Commit 6b3d373d authored by Christian Dietrich's avatar Christian Dietrich

i386: check saved_sp after usage

Change-Id: Ic2554caf81492cb93b73c423a28fa014c6288ce5
parent 78810cfa
......@@ -35,8 +35,8 @@ extern "C" __attribute__((naked)) void sysenter_syscall() {
// save stack pointer
#ifdef CONFIG_DEPENDABILITY_ENCODED
uint32_t ssp = save_sp;
assert( (ssp & 0xFFFF) == (ssp >> 16) );
*OS_stackptrs[ssp & 0xFFFF] = sp;
assert( (ssp & 0xFFFF) == (ssp >> 16) );
#else
*OS_stackptrs[save_sp] = sp;
#endif
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment