166
165
extern void s3c_pm_configure_extint(void);
171
170
* Restore the state of the GPIO pins after sleep, which may involve ensuring
172
171
* that we do not glitch the state of the pins from that the bootloader's
184
183
extern void s3c_pm_save_core(void);
185
184
extern void s3c_pm_restore_core(void);