From 5d0dbb301f00504ff59c805aa23b27a39fe5ee36 Mon Sep 17 00:00:00 2001 From: Andreas Baumann Date: Sat, 15 Jul 2017 17:46:21 +0200 Subject: mouse and keyboard are now allocated driver pointers --- src/drivers/driver.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/drivers') diff --git a/src/drivers/driver.c b/src/drivers/driver.c index 18428dc..c9633b8 100644 --- a/src/drivers/driver.c +++ b/src/drivers/driver.c @@ -3,6 +3,7 @@ #include "kernel.h" #include "string.h" #include "stdio.h" +#include "stdlib.h" static driver_vtable_t const driver_vtable = { driver_register_interrupt_handler, @@ -90,6 +91,7 @@ void driver_manager_deinit( driver_manager_t *manager ) for( int i = manager->nof_drivers - 1; i >= 0; i-- ) { driver_t *driver = (driver_t *)manager->driver[i]; driver->vtable->deinit( driver ); + free( driver ); } } -- cgit v1.2.3-54-g00ecf