Symbol: unregister_int_virtual
sys/platform/vkernel64/platform/cothread.c
129
unregister_int_virtual(cotd->intr_id);
sys/sys/interrupt.h
127
void unregister_int_virtual(void *id);