pciaddr_device_is_agp
if (pciaddr_device_is_agp(pc, tag))
int pciaddr_device_is_agp(pci_chipset_tag_t, pcitag_t);