PORT_HOTPLUG_STAT
return intel_de_read(display, PORT_HOTPLUG_STAT(display)) & bit;
stat = intel_de_read(display, PORT_HOTPLUG_STAT(display));
intel_de_write(display, PORT_HOTPLUG_STAT(display),
intel_de_rmw(display, PORT_HOTPLUG_STAT(display), 0, 0);
intel_de_rmw(display, PORT_HOTPLUG_STAT(display), 0, 0);
PORT_HOTPLUG_STAT(display)) & hotplug_status_mask;
intel_de_write(display, PORT_HOTPLUG_STAT(display),
intel_de_read(display, PORT_HOTPLUG_STAT(display)));