On 05/05/2011 06:37 PM, Gilles Chanteperdrix wrote:
> You should make sure that pm_idle == default_idle. In this case,
> __ipipe_halt_root is called instead of arch_idle, and everything should
> work.
May it be caused by the following code from plat-samsung/time.c ?
static inline void set_dec(unsigned long reload)
{
__raw_writel(reload, S3C2410_TCNTB(4)); /* <-------- In fact,
TCNT is 16-bit, so what if reload > 0xffff and reload & 0xffff == 0 ??? */
--
Alex
_______________________________________________
Adeos-main mailing list
Adeos-main@gna.org
https://mail.gna.org/listinfo/adeos-main
