Symbol: kvmppc_hpt_npte