Sync with trunk r63647.
[reactos.git] / ntoskrnl / mm / ARM3 / section.c