Searched refs:uuid_high (Results 1 – 1 of 1) sorted by relevance
361 uint64_t info, uuid_lo, uuid_high, image_uuid_lo, image_uuid_high, version; in ffa_partition_info_regs_get_part_info() local383 uuid_high = *arg_ptrs; in ffa_partition_info_regs_get_part_info()399 partition_info->protocol_uuid[2] = (uint32_t)uuid_high; in ffa_partition_info_regs_get_part_info()400 partition_info->protocol_uuid[3] = (uint32_t)(uuid_high >> 32); in ffa_partition_info_regs_get_part_info()