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