xen/arm: rename allocate_memory to allocate_memory_11
authorStefano Stabellini <sstabellini@kernel.org>
Tue, 13 Nov 2018 16:59:45 +0000 (08:59 -0800)
committerJulien Grall <julien.grall@arm.com>
Wed, 14 Nov 2018 19:34:47 +0000 (19:34 +0000)
commitbfeb4a56485b972faaa70e43d7ff945d14fb07fc
treecda25c5ab1f630a403ef7c537364dbc397c90ddb
parent2731db336493b8073d9924d86d9992c66ddeab08
xen/arm: rename allocate_memory to allocate_memory_11

allocate_memory only deals with directly mapped memory. Rename it to
allocate_memory_11.

Signed-off-by: Stefano Stabellini <stefanos@xilinx.com>
Acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/domain_build.c