K 10 svn:author V 3 alc K 8 svn:date V 27 2017-07-15T16:42:55.398516Z K 7 svn:log V 255 Style-only change: Consistently use the variable name "pdpg" throughout this file. Previously, half of the pointers to a vm_page being used as a page directory page were named "pdpg" and the rest were named "mpde". Discussed with: kib MFC after: 1 week END