INTEL_DIGITAL_PORT_B
return INTEL_DIGITAL_PORT_B;
read32(INTEL_DIGITAL_PORT_B), read32(INTEL_DIGITAL_PORT_C));
write32(INTEL_DIGITAL_PORT_B, (read32(INTEL_DIGITAL_PORT_B)