modified:   Kernel/include/DmpCore.h