Description: Safe without explicit locking for now. Tasklets provide their own locking, and the interrupt handler is safe because it can t interrupt itself and it can only happen on CPU 0.
To Search:
File list (Check if you may need any files):
mconsole_kern.c
mconsole_kern.h