dma32_window_start  831 drivers/vfio/vfio_iommu_spapr_tce.c 		info.dma32_window_start = table_group->tce32_start;
dma32_window_start  834 include/uapi/linux/vfio.h 	__u32 dma32_window_start;	/* 32 bit window start (bytes) */