diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2015-12-25 12:33:26 -0500 |
|---|---|---|
| committer | Al Viro <viro@zeniv.linux.org.uk> | 2016-01-04 10:28:12 -0500 |
| commit | 7812bf173a0a65a1227fe207ba8683c0afecb5e8 (patch) | |
| tree | d08d5e5626068b1a0dc1e74f6ca6b3affcea593a /lib/mpi/mpi-internal.h | |
| parent | f5e6634ec04b6ed55be4e124277acde240323f2d (diff) | |
ppc: get rid of the remnants of __get_user64()
When __get_user64() had been removed, its helper (__get_user64_nocheck)
got missed.
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'lib/mpi/mpi-internal.h')
0 files changed, 0 insertions, 0 deletions