Author :
jsg
Date :
2020-08-30 10:36:33
Hash :594bc22f Message :avoid a invalid pointer deref in hvn_stop()
intr_barrier() now uses the argument so directly call sched_barrier(NULL)
which is what intr_barrier() used to do until recently.
problem reported by and fix tested by Andre Stoebe