diff options
Diffstat (limited to 'extras/mini-os/arch/x86/traps.c')
-rw-r--r-- | extras/mini-os/arch/x86/traps.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extras/mini-os/arch/x86/traps.c b/extras/mini-os/arch/x86/traps.c index 5719f741e1..003ffb52b3 100644 --- a/extras/mini-os/arch/x86/traps.c +++ b/extras/mini-os/arch/x86/traps.c @@ -268,3 +268,7 @@ void trap_init(void) HYPERVISOR_set_trap_table(trap_table); } +void trap_fini(void) +{ + HYPERVISOR_set_trap_table(NULL); +} |