Index: kernel/arch/ia64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ia64/src/ddi/ddi.c	(revision 46321fbe357afbfd389f20878e8cda76c62f0444)
+++ kernel/arch/ia64/src/ddi/ddi.c	(revision 0e56eb1a15c7e636f2beb1a2d7ca2c425fec275f)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2006 Jakub Jermar, Jakub vana
+ * Copyright (c) 2006 Jakub Jermar
+ * Copyright (c) 2008 Jakub vana
  * All rights reserved.
  *
@@ -39,6 +40,6 @@
 #include <errno.h>
 
-#define IO_MEMMAP_PAGES 16384
-#define PORTS_PER_PAGE 4
+#define IO_MEMMAP_PAGES	16384
+#define PORTS_PER_PAGE	4
 
 /** Enable I/O space range for task.
@@ -46,7 +47,7 @@
  * Interrupts are disabled and task is locked.
  *
- * @param task Task.
- * @param ioaddr Startign I/O space address.
- * @param size Size of the enabled I/O range.
+ * @param task		Task.
+ * @param ioaddr	Starting I/O space address.
+ * @param size		Size of the enabled I/O range.
  *
  * @return 0 on success or an error code from errno.h.
@@ -54,20 +55,18 @@
 int ddi_iospace_enable_arch(task_t *task, uintptr_t ioaddr, size_t size)
 {
+	if (!task->arch.iomap) {
+		uint8_t *map;
 
-	if(!task->arch.iomap)
-	{
-		uint8_t *map;
-		task->arch.iomap=malloc(sizeof(bitmap_t),0);
-		map=malloc(BITS2BYTES(IO_MEMMAP_PAGES),0);
+		task->arch.iomap = malloc(sizeof(bitmap_t), 0);
+		map = malloc(BITS2BYTES(IO_MEMMAP_PAGES), 0);
 		if(!map)
 			return ENOMEM;
-		bitmap_initialize(task->arch.iomap,map,IO_MEMMAP_PAGES);	
-		bitmap_clear_range(task->arch.iomap,0,IO_MEMMAP_PAGES);
+		bitmap_initialize(task->arch.iomap, map, IO_MEMMAP_PAGES);
+		bitmap_clear_range(task->arch.iomap, 0, IO_MEMMAP_PAGES);
 	}
 	
 	uintptr_t iopage = ioaddr / PORTS_PER_PAGE;
-	size = ALIGN_UP (size+ioaddr-4*iopage,PORTS_PER_PAGE);
-	bitmap_set_range(task->arch.iomap,iopage,size/4);
-
+	size = ALIGN_UP(size + ioaddr - 4 * iopage, PORTS_PER_PAGE);
+	bitmap_set_range(task->arch.iomap, iopage, size / 4);
 
 	return 0;