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