Searched refs:vhci_greeting (Results 1 – 1 of 1) sorted by relevance
201 static char vhci_greeting[] = variable417 cmn_err(CE_NOTE, vhci_greeting, class); in mdi_vhci_register()