Searched refs:device_tag_index (Results 1 – 3 of 3) sorted by relevance
83 uint32_t device_tag_index,
585 uint32_t device_tag_index, in bios_parser_get_device_tag() argument608 if (device_tag_index >= record->ucNumberOfDevice) in bios_parser_get_device_tag()611 device_tag = &record->asDeviceTag[device_tag_index]; in bios_parser_get_device_tag()
785 uint32_t device_tag_index, in bios_parser_get_device_tag() argument