On 02/22/2018 03:11 PM, Tom Lendacky wrote: >> I don't think we can help out-of-tree modules getting this wrong. >> They're OK if they use PAGE_KERNEL*, btw. > You will probably need to change __default_kernel_pte_mask to be an > EXPORT_SYMBOL instead of an EXPORT_SYMBOL_GPL for (some) out-of-tree > modules.
As much as I detest missing an opportunity to kick non-GPL drivers in the shins, I guess it is pretty cruel to break them for doing things like vmap(PAGE_KERNEL). I'll make it plain EXPORT_SYMBOL().

