diff options
Diffstat (limited to 'src/kernel/machchk.C')
| -rw-r--r-- | src/kernel/machchk.C | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/kernel/machchk.C b/src/kernel/machchk.C index 746c77c83..ad56a498f 100644 --- a/src/kernel/machchk.C +++ b/src/kernel/machchk.C @@ -113,6 +113,13 @@ bool handleLoadUE(task_t* t) return handled; } +bool handleSLB(task_t* t) +{ + // Reinitialize the SLB. + VmmManager::init_slb(); + return true; +} + } } |
