Symbol: vhci_get_dev_prod_list