PPC64_MMU_OP
if (PPC64_MMU_OP(kd, init) == -1)
return (PPC64_MMU_OP(kd, kvatop, va, pa));
return (PPC64_MMU_OP(kd, walk_pages, cb, arg));
PPC64_MMU_OP(kd, cleanup);