Index: uspace/drv/block/ahci/ahci.c
===================================================================
--- uspace/drv/block/ahci/ahci.c	(revision eb13ef8440f5e94338275db8fd83e4e513c82ab1)
+++ uspace/drv/block/ahci/ahci.c	(revision fafb8e5dc8a80c87cf66270ca6f93d574a95471c)
@@ -897,6 +897,6 @@
 {
 	ahci_dev_t *ahci = dev_ahci_dev(dev);
-	unsigned int port = IPC_GET_ARG1(icall);
-	ahci_port_is_t pxis = IPC_GET_ARG2(icall);
+	unsigned int port = ipc_get_arg1(icall);
+	ahci_port_is_t pxis = ipc_get_arg2(icall);
 
 	if (port >= AHCI_MAX_PORTS)
Index: uspace/drv/block/ddisk/ddisk.c
===================================================================
--- uspace/drv/block/ddisk/ddisk.c	(revision eb13ef8440f5e94338275db8fd83e4e513c82ab1)
+++ uspace/drv/block/ddisk/ddisk.c	(revision fafb8e5dc8a80c87cf66270ca6f93d574a95471c)
@@ -179,5 +179,5 @@
 {
 	ddf_msg(LVL_DEBUG, "ddisk_irq_handler(), status=%" PRIx32,
-	    (uint32_t) IPC_GET_ARG1(icall));
+	    (uint32_t) ipc_get_arg1(icall));
 
 	ddisk_t *ddisk = (ddisk_t *) ddf_dev_data_get(dev);