text: // ------------------------------------------------------------
  // Cortex-A MPCore - Private timer functions
  // Header Filer
  //
  // Copyright ARM Ltd 2009. All rights reserved.
  // ------------------------------------------------------------
  
  #ifndef _CORTEXA_PRIVATE_TIMER_
  #define _CORTEXA_PRIVATE_TIMER_
  
  // Typical set of calls to enable Timer:
  // init_private_timer(0xXXXX, 0)   <-- Counter down value of 0xXXXX, with auto-reload
  // start_private_timer()
  
  // Sets up the private timer
  // r0: initial load value
  // r1:  IF 0 (AutoReload) ELSE (SingleShot)
  void init_private_timer(unsigned int load_value, unsigned int auto_reload);
  
  // Starts the private timer
  void start_private_timer(void);
  
  // Stops the private timer
  void stop_private_timer(void);
  
  // Reads the current value of the timer count register
  unsigned int get_private_timer_count(void);
  
  // Clears the private timer interrupt
  void clear_private_timer_irq(void);
  
  #endif
  
  // ------------------------------------------------------------
  // End of MP_PrivateTimer.h
  // ------------------------------------------------------------
  