|
@@ -35,15 +35,6 @@ void iounmap(void *addr)
|
|
|
{
|
|
|
}
|
|
|
|
|
|
-/*
|
|
|
- * __iounmap unmaps nearly everything, so be careful
|
|
|
- * it doesn't free currently pointer/page tables anymore but it
|
|
|
- * wans't used anyway and might be added later.
|
|
|
- */
|
|
|
-void __iounmap(void *addr, unsigned long size)
|
|
|
-{
|
|
|
-}
|
|
|
-
|
|
|
/*
|
|
|
* Set new cache mode for some kernel address space.
|
|
|
* The caller must push data for that range itself, if such data may already
|