diff options
| author | Thomas Meyer <[email protected]> | 2017-07-06 00:34:05 +0200 |
|---|---|---|
| committer | Richard Weinberger <[email protected]> | 2017-07-07 10:54:03 +0200 |
| commit | e90998302682c41df4813da1ae019c8db79775f5 (patch) | |
| tree | 4203113f81688a420a14a6d8017f64f1a4111663 /lib/mpi/mpi-bit.c | |
| parent | 88af23381ac3a04e35974d9ece422c2b6ebe7775 (diff) | |
um: Add kerneldoc for userspace_tramp() and start_userspace()
Also use correct function name spelling (stub_segv_handler) for better grepping
Signed-off-by: Thomas Meyer <[email protected]>
Signed-off-by: Richard Weinberger <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-bit.c')
0 files changed, 0 insertions, 0 deletions