Searched refs:mdi_vhci_value (Results 1 – 1 of 1) sorted by relevance
234 mdi_vhci_t *mdi_vhci_value; in vhciguid() local240 int mdi_vhci_len = sizeof (*mdi_vhci_value); in vhciguid()264 mdi_vhci_value = (mdi_vhci_t *)mdb_alloc(mdi_vhci_len, UM_SLEEP|UM_GC); in vhciguid()265 if (mdb_vread(mdi_vhci_value, mdi_vhci_len, buf) != mdi_vhci_len) { in vhciguid()266 mdb_warn("vhciguid: Failed read on %l#r\n", mdi_vhci_value); in vhciguid()267 mdb_free(mdi_vhci_value, mdi_vhci_len); in vhciguid()270 temp = (uintptr_t)mdi_vhci_value->vh_class; in vhciguid()275 mdi_vhci_value); in vhciguid()276 mdb_free(mdi_vhci_value, mdi_vhci_len); in vhciguid()287 if (mdi_vhci_value->vh_next == NULL) { in vhciguid()[all …]