vsoc_dev.shm_phys_start = pci_resource_start(pdev, SHARED_MEMORY_BAR);
        vsoc_dev.shm_size = pci_resource_len(pdev, SHARED_MEMORY_BAR);
 
-       dev_info(&pdev->dev, "shared memory @ DMA %p size=0x%zx\n",
-                (void *)vsoc_dev.shm_phys_start, vsoc_dev.shm_size);
+       dev_info(&pdev->dev, "shared memory @ DMA %pa size=0x%zx\n",
+                &vsoc_dev.shm_phys_start, vsoc_dev.shm_size);
        vsoc_dev.kernel_mapped_shm = pci_iomap_wc(pdev, SHARED_MEMORY_BAR, 0);
        if (!vsoc_dev.kernel_mapped_shm) {
                dev_err(&vsoc_dev.dev->dev, "cannot iomap region\n");