Symbol: get_epn
arch/powerpc/kvm/book3s_hv_nested.c
1248
epn = get_epn(rbval);
arch/powerpc/kvm/book3s_hv_nested.c
1335
get_epn(addr));