K 10 svn:author V 6 cherry K 8 svn:date V 27 2013-02-09T17:34:48.373879Z K 7 svn:log V 151 Remove unnecessary sign extension (48bit upward) masking on va. This is relevant only for the pml4t offset calculation. Approved by: gibbs (implicit) END