HomeFreeBSD

ithread: Annotate a branch in ithread_execute_handlers()