On 09/13/2017 11:32 AM, Konrad Rzeszutek Wilk wrote:
Well, that's not a fix. This eliminates the case that something in
ARM-specific code (which I haven't tested) accidentally clears
_PGC_need_scrub.
OK, I think I know what the problem is. You are using
CONFIG_SEPARATE_XENHEAP, are you?