Symbol: is_php_type
drivers/pci/hotplug/rpaphp_core.c
327
if (!is_php_type((char *) &drc_types[1]))
drivers/pci/hotplug/rpaphp_core.c
355
if (!is_php_type(drc.drc_type))