diff options
Diffstat (limited to 'arch/um/include/shared/skas/mm_id.h')
| -rw-r--r-- | arch/um/include/shared/skas/mm_id.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/um/include/shared/skas/mm_id.h b/arch/um/include/shared/skas/mm_id.h index e82e203f5..92dbf727e 100644 --- a/arch/um/include/shared/skas/mm_id.h +++ b/arch/um/include/shared/skas/mm_id.h @@ -15,4 +15,6 @@ struct mm_id { int kill; }; +void __switch_mm(struct mm_id *mm_idp); + #endif |