vnex_regspec
uint32_t *vnex_regspec;
"reg", (caddr_t)&vnex_regspec, ®len) != DDI_SUCCESS)
(void) sprintf(name, "%x", *vnex_regspec);
kmem_free((caddr_t)vnex_regspec, reglen);
"reg", (caddr_t)&vnex_regspec, ®len) != DDI_SUCCESS)
kmem_free((caddr_t)vnex_regspec, reglen);