Symbol: print_intinfo
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
1884
print_intinfo("pending", info[0]);
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
1885
print_intinfo("current", info[1]);