text: /*
   * Arm SCP/MCP Software
   * Copyright (c) 2019, Arm Limited and Contributors. All rights reserved.
   *
   * SPDX-License-Identifier: BSD-3-Clause
   */
  
  #ifndef CONFIG_TIMER_H
  #define CONFIG_TIMER_H
  
  enum config_timer_element_idx {
      CONFIG_TIMER_ELEMENT_IDX_REFCLK,
      CONFIG_TIMER_ELEMENT_IDX_COUNT,
  };
  
  enum config_timer_refclk_sub_element_idx {
      CONFIG_TIMER_REFCLK_SUB_ELEMENT_IDX_COUNT,
  };
  
  #endif /* CONFIG_TIMER_H */
  