Sync with trunk 48067
[reactos.git] / ntoskrnl / mm / ARM3 / miarm.h