Symbol: et_deregister
sys/dev/hyperv/vmbus/vmbus_et.c
200
return (et_deregister(&vmbus_et));
sys/sys/timeet.h
91
int et_deregister(struct eventtimer *et);