Re: [Xenomai-help] Bug with Xenomai and xeno_heap: Eeek! page_mapcount(page) went negative!

["M. Koehrer" <mathias_koehrer@domain.hid>]

Hello Gilles,

thanks! Now it works fine! 
Great support. 

Best regards

Mathias

> Yes, thanks. This is a bug which should have been fixed since then. But 
> here is a patch for your version. Could you try it?
> 
> 
> diff --git a/include/linux/mm.h b/include/linux/mm.h
> index 816cf71..568cd8d 100644
> --- a/include/linux/mm.h
> +++ b/include/linux/mm.h
> @@ -109,7 +109,7 @@ extern unsigned int kobjsize(const void *objp);
>  #define VM_CAN_NONLINEAR 0x08000000	/* Has ->fault & does nonlinear pages
> */
>  #define VM_MIXEDMAP	0x10000000	/* Can contain "struct page" and pure PFN
> pages */
>  
> -#define VM_PINNED	0x10000000	/* Disable faults for the vma */
> +#define VM_PINNED	0x20000000	/* Disable faults for the vma */
>  
>  #ifndef VM_STACK_DEFAULT_FLAGS		/* arch can override this */
>  #define VM_STACK_DEFAULT_FLAGS VM_DATA_DEFAULT_FLAGS
> 


-- 
Mathias Koehrer
mathias_koehrer@domain.hid


Jetzt komfortabel bei Arcor-Digital TV einsteigen: Mehr Happy Ends, mehr Herzschmerz, mehr Fernsehen! Erleben Sie 50 digitale TV Programme und optional 60 Pay TV Sender, einen elektronischen Programmführer mit Movie Star Bewertungen von TV Movie. Außerdem, aktuelle Filmhits und spannende Dokus in der Arcor-Videothek. Infos unter www.arcor.de/tv