RPCI_PROTOCOL_NUM
if (vmw_open_channel(&channel, RPCI_PROTOCOL_NUM))
if (vmw_open_channel(&channel, RPCI_PROTOCOL_NUM)) {