SHOTPLUG_CTL_DDI
#define PCH_PORT_HOTPLUG SHOTPLUG_CTL_DDI
uint32 ddiHotplug = read32(info, SHOTPLUG_CTL_DDI);
write32(info, SHOTPLUG_CTL_DDI, ddiHotplug);
uint32 ctl = read32(info, SHOTPLUG_CTL_DDI);
write32(info, SHOTPLUG_CTL_DDI, ctl);