x86_round_pdr
blkendva = x86_round_pdr(va + 1);
blkendva = x86_round_pdr(va+1);
blockend = x86_round_pdr(va + 1);
maxkvaddr = x86_round_pdr(maxkvaddr);
blkendva = x86_round_pdr(sva+1);
blkendva = x86_round_pdr(va+1);