i_vhcilun
return (i_vhcilun(addr, 0 /* display_single_guid */, 0));
static int i_vhcilun(uintptr_t addr, uint_t display_single_guid, char *guid);