Searched refs:device_tag_index (Results 1 – 3 of 3) sorted by relevance
64 uint32_t device_tag_index,
335 uint32_t device_tag_index, in bios_parser_get_device_tag() argument358 if (device_tag_index >= record->ucNumberOfDevice) in bios_parser_get_device_tag()361 device_tag = &record->asDeviceTag[device_tag_index]; in bios_parser_get_device_tag()
625 uint32_t device_tag_index, in bios_parser_get_device_tag() argument