xge_os_pio_mem_write32
xge_os_pio_mem_write32(pdev, regh, val,
xge_os_pio_mem_write32(pdev, regh, val, addr);
xge_os_pio_mem_write32(hldev->pdev, hldev->regh0, val,
xge_os_pio_mem_write32(hldev->pdev, hldev->regh2, val32, &bar2[msi_id*4+3]);
xge_os_pio_mem_write32(hldev->pdev, hldev->regh2, val32, &bar2[msi_id*4+3]);
xge_os_pio_mem_write32(pdev, regh, val, addr);
xge_os_pio_mem_write32(pdev, regh, val, (void *)((char *)addr + 4));