K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2018-03-11T19:56:07.994670Z
K 7
svn:log
V 299
Remove MTX_NOPROFILE from atrtc_lock, it was inappropriately copy/pasted
from the i8254 driver when I created separate mutexes for each.  The i8254
driver could be the active timecounter, leading to recursion during mutex
profiling, but the atrtc driver cannot be a timecounter, so it isn't needed.

END