145 static void read_dscr(void *val)  in read_dscr()
158 static void write_dscr(void *val)  in write_dscr()
202 	unsigned long val;  in store_dscr_default()  local
245 	u64 cycle;  in get_idle_ticks_bit()  local
258 static void do_show_pwrmgtcr0(void *val)  in do_show_pwrmgtcr0()
278 static void do_store_pw20_state(void *val)  in do_store_pw20_state()
343 static void set_pw20_wait_entry_bit(void *val)  in set_pw20_wait_entry_bit()
400 static void do_store_altivec_idle(void *val)  in do_store_altivec_idle()
465 static void set_altivec_idle_wait_entry_bit(void *val)  in set_altivec_idle_wait_entry_bit()
769 static void read_idle_purr(void *val)  in read_idle_purr()
780 	u64 val;  in idle_purr_show()  local
799 static void read_idle_spurr(void *val)  in read_idle_spurr()
810 	u64 val;  in idle_spurr_show()  local