Reactos

[HAL] Fix build with CONFIG_SMP master


+15 -31
4 changed files