CVSROOT: /cvs Module name: src Changes by: [email protected] 2020/08/14 05:51:07
Modified files:
sys/dev : kcov.c
Log message:
When detaching common remote coverage, do not clear any fields. Instead,
let kr_free() do the work. Otherwise a thread currently inside a remote
section could end up not decrementing the number of ongoing sections
while exiting the same remote section.
Reported-by: [email protected]
