Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/generic/include/ddi/ddi.h	(revision d5e5fd1214ee9617b9a936d6f09efec4c9a91b48)
@@ -44,5 +44,5 @@
 typedef struct {
 	link_t link;      /**< Linked list link */
-	
+
 	uintptr_t pbase;  /**< Physical base of the area. */
 	pfn_t frames;     /**< Number of frames in the area. */
Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/generic/include/ddi/irq.h	(revision d5e5fd1214ee9617b9a936d6f09efec4c9a91b48)
@@ -93,5 +93,5 @@
 	/** Hash table link. */
 	ht_link_t link;
-	
+
 	/** Lock protecting everything in this structure
 	 *  except the link member. When both the IRQ
@@ -100,5 +100,5 @@
 	 */
 	IRQ_SPINLOCK_DECLARE(lock);
-	
+
 	/** Send EOI before processing the interrupt.
 	 *  This is essential for timer interrupt which
@@ -108,5 +108,5 @@
 	 */
 	bool preack;
-	
+
 	/** Actual IRQ number. -1 if not yet assigned. */
 	inr_t inr;
@@ -119,10 +119,10 @@
 	/** Instance argument for the handler and the claim function. */
 	void *instance;
-	
+
 	/** Clear interrupt routine. */
 	cir_t cir;
 	/** First argument to the clear interrupt routine. */
 	void *cir_arg;
-	
+
 	/** Notification configuration structure. */
 	ipc_notif_cfg_t notif_cfg;