Symbol: XELPDP_TBT_HOTPLUG_MASK