Symbol: BCE_VHCI_MAX_DEVICES