#ifndef __ASMARM_ARCH_SCU_H
  #define __ASMARM_ARCH_SCU_H

  #define SCU_PM_NORMAL	0
  #define SCU_PM_DORMANT	2
  #define SCU_PM_POWEROFF	3
  
  #ifndef __ASSEMBLER__

  unsigned int scu_get_core_count(void __iomem *);
  void scu_enable(void __iomem *);

  int scu_power_mode(void __iomem *, unsigned int);
  #endif

  
  #endif