On Mon, Jan 14, 2019 at 01:59:00PM +0100, David Hildenbrand wrote:

This will be done by free_reserved_page().

Cc: Catalin Marinas <catalin.marinas@arm.com>
Cc: Will Deacon <redacted>
Cc: Bhupesh Sharma <redacted>
Cc: James Morse <james.morse@arm.com>
Cc: Marc Zyngier <redacted>
Cc: Dave Kleikamp <redacted>
Cc: Mark Rutland <mark.rutland@arm.com>
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Michal Hocko <mhocko@kernel.org>
Cc: Matthew Wilcox <willy@infradead.org>
Acked-by: James Morse <james.morse@arm.com>
Signed-off-by: David Hildenbrand <redacted>

Acked-by: Catalin Marinas <catalin.marinas@arm.com>