On Tue, Apr 1, 2008 at 7:52 AM, Gilles Chanteperdrix
<[EMAIL PROTECTED]> wrote:
> Tomas Kalibera wrote:
>   >
>   > I added a missing underscore and re-tried, and none of the debug
>   > messages was printed. I added another one to make sure that there is not
>   > a problem with getting printk messages to the serial console. The
>   > resulting highmem_32.c and the output is attached.
>   >
>   > T
>
>  The interesting part of the output is the printk which occurs right
>  before the first bug, what happens afterwards is of little use. Do you
>  get any output before the first bug ?

There are other kmap_atomic calls in copy_pte_range than the
kmap_atomic taking place in cow_user_page, they use KM_PTE0 and
KM_PTE1 as the type value. So, we should track these types as well in
highmem_32.c.

-- 
 Gilles

_______________________________________________
Xenomai-core mailing list
Xenomai-core@gna.org
https://mail.gna.org/listinfo/xenomai-core

Reply via email to