hvio_mmu_init
hvio_mmu_init(csr_base, pxu_p);
extern void hvio_mmu_init(caddr_t csr_base, pxu_t *pxu_p);