More definitions for virtual memory on ARM11.