diff options
| author | Will Deacon <will.deacon@arm.com> | 2018-02-20 14:41:02 +0000 |
|---|---|---|
| committer | Will Deacon <will.deacon@arm.com> | 2018-03-06 18:52:24 +0000 |
| commit | 1049c30871701a6533dd41e555612b31a29acb33 (patch) | |
| tree | 2d33e61e89775a543175d1ec50ab32eb8288f0d0 /lib/mpi/mpiutil.c | |
| parent | 15b67321e7e9671881c7174a651a1c7d74c59f72 (diff) | |
arm64: Pass user fault info to arm64_notify_die instead of printing it
There's no need for callers of arm64_notify_die to print information
about user faults. Instead, they can pass a string to arm64_notify_die
which will be printed subject to show_unhandled_signals.
Signed-off-by: Will Deacon <will.deacon@arm.com>
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions