Searched refs:image_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() local389 image_uuid_high = *arg_ptrs; in ffa_partition_info_regs_get_part_info()403 partition_info->image_uuid[2] = (uint32_t)image_uuid_high; in ffa_partition_info_regs_get_part_info()404 partition_info->image_uuid[3] = (uint32_t)(image_uuid_high >> 32); in ffa_partition_info_regs_get_part_info()