K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-09-19T02:41:00.643474Z
K 7
svn:log
V 168
The 'kernel_pmap' is known to be of type PT_X86 and thus we can directly
use the X86_PG_G, X86_PG_A and X86_PG_M macros when working with its PTEs.

Requested by:	alc@

END