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