Symbol: WREG64_PCIE