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 140388c282f6..0654c57bb28e 100644 --- a/arch/um/include/shared/skas/mm_id.h +++ b/arch/um/include/shared/skas/mm_id.h @@ -14,4 +14,6 @@ struct mm_id { void __switch_mm(struct mm_id *mm_idp); +void notify_mm_kill(int pid); + #endif |