dvo_port
uint8 dvo_port;
if (config.dvo_port > DVO_PORT_HDMII) {
dvo_port port = (dvo_port)config.dvo_port;