There is only one error code to return for a bad user-space bufferpointer passed to a system call in the same address space as thesystem call is executed, and that is EFAULT. Furthermore, thelow-level access routines, which catch most of the faults, returnEFAULT already.