Index: uspace/lib/c/include/device/hw_res_parsed.h
===================================================================
--- uspace/lib/c/include/device/hw_res_parsed.h	(revision 301032a87023b80a020de82584ef102eae4ad415)
+++ uspace/lib/c/include/device/hw_res_parsed.h	(revision ef63103fbdaa3a15a3a17cc600c45946b3f9e51c)
@@ -139,6 +139,6 @@
 }
 
-extern int hw_res_list_parse(
-    const hw_resource_list_t *, hw_res_list_parsed_t *, int);
+extern int hw_res_list_parse(const hw_resource_list_t *,
+    hw_res_list_parsed_t *, int);
 extern int hw_res_get_list_parsed(async_sess_t *, hw_res_list_parsed_t *, int);
 
Index: uspace/lib/c/include/ipc/dev_iface.h
===================================================================
--- uspace/lib/c/include/ipc/dev_iface.h	(revision 301032a87023b80a020de82584ef102eae4ad415)
+++ uspace/lib/c/include/ipc/dev_iface.h	(revision ef63103fbdaa3a15a3a17cc600c45946b3f9e51c)
@@ -37,9 +37,4 @@
 	HW_RES_DEV_IFACE = 0,
 
-	/** Audio device mixer interface */
-	AUDIO_MIXER_IFACE,
-	/** Audio device pcm buffer interface */
-	AUDIO_PCM_BUFFER_IFACE,
-
 	/** Character device interface */
 	CHAR_DEV_IFACE,
@@ -47,4 +42,9 @@
 	/** Graphic device interface */
 	GRAPH_DEV_IFACE,
+
+	/** Audio device mixer interface */
+	AUDIO_MIXER_IFACE,
+	/** Audio device pcm buffer interface */
+	AUDIO_PCM_BUFFER_IFACE,
 	
 	/** Network interface controller interface */
@@ -60,8 +60,11 @@
 	/** Interface provided by USB HID devices. */
 	USBHID_DEV_IFACE,
+
 	/** Interface provided by Real Time Clock devices */
 	CLOCK_DEV_IFACE,
+
 	/** Interface provided by battery powered devices */
 	BATTERY_DEV_IFACE,
+
 	/** Interface provided by AHCI devices. */
 	AHCI_DEV_IFACE,