tree 71ec5f76b0624ce0eeff7484c13f9820ed876776
parent a7f8de168ace487fa7b88cb154e413cf40e87fc6
author Catalin Marinas <catalin.marinas@arm.com> 1455892138 +0000
committer Catalin Marinas <catalin.marinas@arm.com> 1455892138 +0000

arm64: User die() instead of panic() in do_page_fault()

The former gives better error reporting on unhandled permission faults
(introduced by the UAO patches).

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