Searched refs:uuid_high (Results 1 – 1 of 1) sorted by relevance
363 uint64_t info, uuid_lo, uuid_high; in ffa_partition_info_regs_get_part_info() local385 uuid_high = *arg_ptrs; in ffa_partition_info_regs_get_part_info()392 partition_info->uuid[2] = (uint32_t)(uuid_high & 0xFFFFFFFFU); in ffa_partition_info_regs_get_part_info()393 partition_info->uuid[3] = (uint32_t)((uuid_high >> 32) & 0xFFFFFFFFU); in ffa_partition_info_regs_get_part_info()
