diff -Naur common/dcddks.c common.new/dcddks.c --- common/dcddks.c 2005-09-19 18:12:06.000000000 +0200 +++ common.new/dcddks.c 2005-11-16 10:18:24.000000000 +0100 @@ -572,11 +572,11 @@ int size) { int result; - result = verify_area( + result = (access_ok( VERIFY_WRITE, arg, size - ); + ) ? 0 : -EFAULT); return result; } // esm_verify_area_write @@ -589,11 +589,11 @@ int size) { int result; - result = verify_area( + result = (access_ok( cmd_in, arg, size - ); + ) ? 0 : -EFAULT); return result; } // esm_verify_area