vhci_clean_print
static void vhci_clean_print(dev_info_t *dev, uint_t level,
vhci_clean_print(NULL, 5, "Current PGR Keys",
vhci_clean_print(dip, level, buf, cdb, len);