kern: perform rescheduling on dispatch re-enable (closes #1169)
1 parent d52179c commit 2e7214b6fa5c392eb42d69d0fd39c006a02f030c
@Michael Scire Michael Scire authored on 14 Oct 2020
Showing 3 changed files
View
libraries/libmesosphere/include/mesosphere/kern_k_scheduler.hpp
View
libraries/libmesosphere/include/mesosphere/kern_k_thread.hpp
View
libraries/libmesosphere/source/kern_k_scoped_disable_dispatch.cpp 0 → 100644