missing release_region in i8042_exit

Mon Sep 11 19:30:28 EST 2006

Does anyone know why 64bit kernels do not call release_region in
i8042_platform_exit? Why is it allowed on 32bit kernels?

drivers/input/serio/i8042-io.h

     83 static inline void i8042_platform_exit(void)
     84 {
     85 #if !defined(__sh__) && !defined(__alpha__) && !defined(CONFIG_PPC64)
     86         release_region(I8042_DATA_REG, 16);
     87 #endif
     88 }