VHCI_EXTFO_TIMEOUT
if ((gethrtime() - swarg->svs_tos) >= VHCI_EXTFO_TIMEOUT) {
>= VHCI_EXTFO_TIMEOUT) {