Re: [PATCH] x84: reenable DEBUG_TLBFLUSH for X86_32

2013-03-14 Thread Paul Bolle
s/x84:/x86:/ in summary, of course. Paul Bolle -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

[PATCH] x84: reenable DEBUG_TLBFLUSH for X86_32

2013-03-14 Thread Paul Bolle
CONFIG_INVLPG got removed in commit 094ab1db7cb7833cd4c820acd868fc26acf3f08e ("x86, 386 removal: Remove CONFIG_INVLPG"). That commit left one instance of CONFIG_INVLPG untouched, effectively disabling DEBUG_TLBFLUSH for X86_32. Since all currently supported X86 CPU's should now be able to support t