diff options
| author | Catalin Marinas <catalin.marinas@arm.com> | 2016-02-19 14:28:58 +0000 |
|---|---|---|
| committer | Catalin Marinas <catalin.marinas@arm.com> | 2016-02-19 14:28:58 +0000 |
| commit | 70c8abc28762d04e36c92e07eee2ce6ab41049cb (patch) | |
| tree | 71ec5f76b0624ce0eeff7484c13f9820ed876776 /scripts/gdb/linux/utils.py | |
| parent | a7f8de168ace487fa7b88cb154e413cf40e87fc6 (diff) | |
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>
Diffstat (limited to 'scripts/gdb/linux/utils.py')
0 files changed, 0 insertions, 0 deletions