i_vhci_states
if (i_vhci_states(0, 0, 0, 0, &ss) != DCMD_OK)
return (i_vhci_states(addr, flags, argc, argv, NULL));
static int i_vhci_states(uintptr_t addr, uint_t flags, int argc,