On Jan 14, 2008 1:18 PM, Jeroen C. Visser <jeroen.c.visser at gmail.com> wrote: > Perhaps the WK bit is mainly a debugging aid? And perhaps the soft valid bit is just there to differentiate between a real PTE and the canary? -JCV