Searched refs:device_tag_index (Results 1 – 2 of 2) sorted by relevance
62 uint32_t device_tag_index,
327 uint32_t device_tag_index, in bios_parser_get_device_tag() argument350 if (device_tag_index >= record->ucNumberOfDevice) in bios_parser_get_device_tag()353 device_tag = &record->asDeviceTag[device_tag_index]; in bios_parser_get_device_tag()