Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 22:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

x86: Comment on missing NODE_LOCK

Browse Source
This commit is contained in:
Adrian Danis
2016-12-13 10:52:36 +11:00
parent 95f40176b1
commit d4b1faa80f
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/arch/x86/c_traps.c
View File

@@ -158,6 +158,7 @@ c_handle_syscall(word_t cptr, word_t msgInfo, syscall_t syscall)
void VISIBLE NORETURN c_handle_vmexit(void)
{
c_entry_hook();
/* NODE_LOCK will get called in handleVmexit */
handleVmexit();
restore_user_context();
UNREACHABLE();