text: /*
   * This confidential and proprietary software may be used only as
   * authorised by a licensing agreement from ARM Limited
   * (C) COPYRIGHT 2011-2012 ARM Limited
   * ALL RIGHTS RESERVED
   * The entire notice above must be reproduced on all authorised
   * copies and copies may only be made to the extent permitted
   * by a licensing agreement from ARM Limited.
   */
  
  /*
   * Header contains common definitions for the Mali-400 processors.
   */
  #if !defined(GATOR_EVENTS_MALI_400_H)
  #define GATOR_EVENTS_MALI_400_H
  
  extern void gator_events_mali_log_dvfs_event(unsigned int d0, unsigned int d1);
  
  #endif /* GATOR_EVENTS_MALI_400_H */
  