SPLIT_HACK_OFFS
((eaddr & SPLIT_HACK_MASK) == SPLIT_HACK_OFFS))
if ((lr & SPLIT_HACK_MASK) == SPLIT_HACK_OFFS)
((pte.raddr & SPLIT_HACK_MASK) == SPLIT_HACK_OFFS))
kvmppc_set_pc(vcpu, pc | SPLIT_HACK_OFFS);
if ((pc & SPLIT_HACK_MASK) == SPLIT_HACK_OFFS)