ibtlb_g
int ibtlb_g(int, pa_space_t, vaddr_t, paddr_t, vsize_t, u_int);
ibtlb_g, NULL, pbtlb_g, NULL }, /* XXXNH check */
ibtlb_g, NULL, pbtlb_g, NULL },
ibtlb_g, NULL, pbtlb_g, NULL },
ibtlb_g, NULL, pbtlb_g, hpti_g },
ibtlb_g, NULL, pbtlb_g, NULL },
ibtlb_g, NULL, pbtlb_g, hpti_g },