01d5af3d6c
Remove unnecessary GCC_MEMORY_BARRIER() at the end of GetGlobalInterruptMask(). Minor documentation improvements.