| commit | 3495386b107510ba7014f42da37034648c1d2cfd | [log] [tgz] |
|---|---|---|
| author | Catalin Marinas <catalin.marinas@arm.com> | Wed Oct 24 16:34:02 2012 +0100 |
| committer | Catalin Marinas <catalin.marinas@arm.com> | Wed Nov 14 09:54:15 2012 +0000 |
| tree | 99529d66242420c3094b9de52fc8ffefd792681e | |
| parent | 77b67063bb6bce6d475e910d3b886a606d0d91f7 [diff] |
arm64: Make the user fault reporting more specific For user space faults the kernel reports "unhandled page fault" and it gives the ESR value. With this patch the error message looked up in the fault info array to give a better description. Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>