Index: uspace/drv/block/ahci/ahci.c
===================================================================
--- uspace/drv/block/ahci/ahci.c	(revision 7f620e8406775dfd73a55d55e17b5fe29550ed8b)
+++ uspace/drv/block/ahci/ahci.c	(revision 10ef47ba87b0150e1ceacded778cc98a29ea9421)
@@ -234,5 +234,5 @@
 	
 	uintptr_t phys;
-	void *ibuf;
+	void *ibuf = AS_AREA_ANY;
 	int rc = dmamem_map_anonymous(sata->block_size, DMAMEM_4GiB,
 	    AS_AREA_READ | AS_AREA_WRITE, 0, &phys, &ibuf);
@@ -277,5 +277,5 @@
 	
 	uintptr_t phys;
-	void *ibuf;
+	void *ibuf = AS_AREA_ANY;
 	int rc = dmamem_map_anonymous(sata->block_size, DMAMEM_4GiB,
 	    AS_AREA_READ | AS_AREA_WRITE, 0, &phys, &ibuf);
@@ -436,8 +436,8 @@
 	
 	uintptr_t phys;
-	sata_identify_data_t *idata;
+	sata_identify_data_t *idata = AS_AREA_ANY;
 	int rc = dmamem_map_anonymous(SATA_IDENTIFY_DEVICE_BUFFER_LENGTH,
 	    DMAMEM_4GiB, AS_AREA_READ | AS_AREA_WRITE, 0, &phys,
-	    (void **) &idata);
+	    (void *) &idata);
 	if (rc != EOK) {
 		ddf_msg(LVL_ERROR, "Cannot allocate buffer to identify device.");
@@ -630,8 +630,8 @@
 	
 	uintptr_t phys;
-	sata_identify_data_t *idata;
+	sata_identify_data_t *idata = AS_AREA_ANY;
 	int rc = dmamem_map_anonymous(SATA_SET_FEATURE_BUFFER_LENGTH,
 	    DMAMEM_4GiB, AS_AREA_READ | AS_AREA_WRITE, 0, &phys,
-	    (void **) &idata);
+	    (void *) &idata);
 	if (rc != EOK) {
 		ddf_msg(LVL_ERROR, "Cannot allocate buffer for device set mode.");
@@ -938,7 +938,7 @@
 	size_t size = 4096;
 	uintptr_t phys = 0;
-	void *virt_fb = NULL;
-	void *virt_cmd = NULL;
-	void *virt_table = NULL;
+	void *virt_fb = AS_AREA_ANY;
+	void *virt_cmd = AS_AREA_ANY;
+	void *virt_table = AS_AREA_ANY;
 	ddf_fun_t *fun;
 	
@@ -1155,9 +1155,9 @@
 	
 	/* Map AHCI registers. */
-	ahci->memregs = NULL;
+	ahci->memregs = AS_AREA_ANY;
 	
 	physmem_map(RNGABS(hw_res_parsed.mem_ranges.ranges[0]),
 	    AHCI_MEMREGS_PAGES_COUNT, AS_AREA_READ | AS_AREA_WRITE,
-	    (void **) &ahci->memregs);
+	    (void *) &ahci->memregs);
 	if (ahci->memregs == NULL)
 		goto error_map_registers;