get_tlb_eaddr
eaddr = get_tlb_eaddr(gtlbe);
return get_tlb_eaddr(tlbe) + bytes - 1;
if (eaddr < get_tlb_eaddr(tlbe))
eaddr = get_tlb_eaddr(tlbe);
start = get_tlb_eaddr(gtlbe) & ~(size - 1);
start = get_tlb_eaddr(gtlbe) & ~(size - 1);
u64 eaddr = get_tlb_eaddr(gtlbe);
r = kvmppc_e500_shadow_map(vcpu_e500, get_tlb_eaddr(gtlbe),
eaddr = get_tlb_eaddr(gtlbe);