Searched refs:image_uuid (Results 1 – 2 of 2) sorted by relevance
255 memset(&((*partitions)[array_index].image_uuid), in spmd_fill_lp_info_array()401 partition_info->image_uuid[0] = (uint32_t)image_uuid_lo; in ffa_partition_info_regs_get_part_info()402 partition_info->image_uuid[1] = (uint32_t)(image_uuid_lo >> 32); 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()498 partitions[idx].image_uuid); in spmd_el3_populate_logical_partition_info()
414 uint32_t image_uuid[4]; member