Symbol: VF_TOKEN_ARG
drivers/vfio/pci/vfio_pci_core.c
1948
if (!vf_token && !strncmp(buf, VF_TOKEN_ARG,
drivers/vfio/pci/vfio_pci_core.c
1949
strlen(VF_TOKEN_ARG))) {
drivers/vfio/pci/vfio_pci_core.c
1950
buf += strlen(VF_TOKEN_ARG);