Hi all, Sorry for the stupid question. What is the reason to declare pagefault_enable() and pagefault_disable() as only GPL symbol in mm/memory.c (obviously when applied ingo's realtime patch)? There aren't closed source driver that expect to use these? Thanks in advance! Ciao, Alessio - To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
