MB2_SHADOW_OFFSET  584 drivers/pci/controller/vmd.c 		membar2_offset = MB2_SHADOW_OFFSET + MB2_SHADOW_SIZE;
MB2_SHADOW_OFFSET  596 drivers/pci/controller/vmd.c 					readq(membar2 + MB2_SHADOW_OFFSET);
MB2_SHADOW_OFFSET  598 drivers/pci/controller/vmd.c 					readq(membar2 + MB2_SHADOW_OFFSET + 8);