text: /*
   * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
   *
   * SPDX-License-Identifier: BSD-3-Clause
   */
  
  #include <platform_def.h>
  
  static const unsigned char plat_power_domain_tree_desc[] = {1, PLATFORM_CORE_COUNT};
  
  const unsigned char *plat_get_power_domain_tree_desc(void)
  {
  	return plat_power_domain_tree_desc;
  }
  