261     uint32_t		locator, devid;  in biospci_enumerate()  local
278 			device_index, &locator);  in biospci_enumerate()
283 		    err = biospci_read_config(locator, 0, BIOSPCI_32BITS, &devid);  in biospci_enumerate()
323 biospci_find_devclass(uint32_t class, int index, uint32_t *locator)  in biospci_find_devclass()  argument
336 	*locator = v86.ebx;  in biospci_find_devclass()
341 biospci_find_device(uint32_t devid, int index, uint32_t *locator)  in biospci_find_device()  argument
355 	*locator = v86.ebx;  in biospci_find_device()
363 biospci_write_config(uint32_t locator, int offset, int width, uint32_t val)  in biospci_write_config()  argument
368 	v86.ebx = locator;  in biospci_write_config()
381 biospci_read_config(uint32_t locator, int offset, int width, uint32_t *val)  in biospci_read_config()  argument
386 	v86.ebx = locator;  in biospci_read_config()