get_tlb_raddr
gpa = get_tlb_raddr(tlbe);
u64 raddr = get_tlb_raddr(gtlbe);
return get_tlb_raddr(gtlbe) | (eaddr & pgmask);
get_tlb_raddr(gtlbe) >> PAGE_SHIFT,