628 		hldev->vpath_reg[i] = hldev->bar0 + val64;  in __vxge_hw_device_reg_addr_get()
741 		hldev->virtual_paths[i].vp_reg = hldev->vpath_reg[i];  in __vxge_hw_device_host_info_get()
3075 __vxge_hw_vpath_swapper_set(struct vxge_hw_vpath_reg __iomem *vpath_reg)  in __vxge_hw_vpath_swapper_set()  argument
3080 	val64 = readq(&vpath_reg->vpath_general_cfg1);  in __vxge_hw_vpath_swapper_set()
3083 	writeq(val64, &vpath_reg->vpath_general_cfg1);  in __vxge_hw_vpath_swapper_set()
3095 			   struct vxge_hw_vpath_reg __iomem *vpath_reg)  in __vxge_hw_kdfc_swapper_set()  argument
3102 		val64 = readq(&vpath_reg->kdfcctl_cfg0);  in __vxge_hw_kdfc_swapper_set()
3109 		writeq(val64, &vpath_reg->kdfcctl_cfg0);  in __vxge_hw_kdfc_swapper_set()
3209 		*value = readq((void __iomem *)hldev->vpath_reg[index] +  in vxge_hw_mgmt_reg_read()
3332 		writeq(value, (void __iomem *)hldev->vpath_reg[index] +  in vxge_hw_mgmt_reg_write()
4673 	vpath->vp_reg = hldev->vpath_reg[vp_id];  in __vxge_hw_vp_initialize()