Make use of arch/memory.h definitions.