On 05/05/2011 03:16 PM, Alexey Galakhov wrote:
> 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 ??? */
Try adding:
if (reload > 0xffff)
reload = 0xffff;
before the raw_writel.
--
Gilles.
_______________________________________________
Adeos-main mailing list
[email protected]
https://mail.gna.org/listinfo/adeos-main
