FreeBSD/sys/boot/ficl/loader.c
/*
 * pcibios-device-count (devid -- count)
 *
 * Returns the PCI BIOS' count of how many devices matching devid are in the system.
 * devid is the 32-bit vendor + device.
 */
pcibios-device-count (devid -- count)
Returns the PCI BIOS' count of how many devices matching devid are in the system.
devid is the 32-bit vendor + device.
pcibios - device - count ( devid -- count ) Returns the PCI BIOS ' count of how many devices matching devid are in the system . devid is the 32 - bit vendor + device .
static void
ficlPciBiosCountDevices(FICL_VM *pVM)
{
	uint32_t devid;
	int i;
	devid = stackPopINT(pVM->pStack);
	i = biospci_count_device_type(devid);
	stackPushINT(pVM->pStack, i);
}
static void ficlPciBiosCountDevices ( FICL_VM * pVM ) { uint32_t devid ; int i ; devid = stackPopINT ( pVM -> pStack ) ; i = biospci_count_device_type ( devid ) ; stackPushINT ( pVM -> pStack , i ) ; }
pcibios-device-count (devid -- count)
 Returns the PCI BIOS' count of how many devices matching devid are in the system.
pcibios - device - count ( devid -- count ) Returns the PCI BIOS ' count of how many devices matching devid are in the system .